Hello World in Python under Pygreen