Fixing up travis supervisor config and server