Serve devpi on a location other than /, nginx