Switched to flask as our web server so we can deal with unicode