I think there is a program called GameCreator that is rather simple to use. Your son should be able to export his paint creations if I remember correctly (I haven't used it in a long time). There is a free version, and a pro version for 15 or 30 dollars(US)