[galaxy-dev] launching openmpi tool with Galaxy