Simple hello world using web.py