Add ability to configure shed tools directory under Galaxy root.