use web.py to serve json and robots.txt (dictionary app)