Write a simple Hello World program in python