Port server.py to flask and leveldb.

[sonneveld]

• named server2.py until comfortable replacing original.
• leveldb will fail with multi-process wsgi.
• retry erroring pyen requests after 10 minutes.