Python program that prints hello world