Подведу как итог. Python + Pygame + Gimp. Если у ребят не иссякнет запал мотивации и мы сделаем хоть что-то работающее, тогда дальше уже будем думать о портировании, уровнях и прочем.
Решил, что все таки нужно с учениками поговорить, чтобы они начали с простого. Чтобы каждый написал простую игры с числами, 21 очко, крестики и нолики и тд. Если у них все получится и желание не пропадет, тогда уже приступим к полноценной разработке игры.
Для портирования, py2exe, py2app, Pygame Subset for Android.
