Import web.py and create a "hello world" demo.