Remove old cherrypy-based REST server.
Bring coverage back to 100%.