Files
-----
pygtk-hatari-embed-test.py -- Several tries at embedding Hatari window
pygtk-hello-world.py -- simplest PyGtk program