Turn wikiserver.py into development server