[galaxy-dev] Some NGS tools not available on local Galaxy install