Gazetteer now copes with unicode chars typed into the web interface. Previously the proxy would barf and web page would show a dialog saying an error occurred. Added test infrastructure, although mock os server is not good at shutting down.