a hello world program in python