Files in directory games/sokoban-demo from the latest check-in

$ erlc sokoban.erl
$ erl -user sokoban