[galaxy-dev] install tools to https galaxy instance with insecure ssl?