[galaxy-dev] How to install tool-shed behind proxy with authentication ?