Restored main Galaxy server as default
- GalaxyWorkflowEngine: added todo because Galaxy workflows cannot specify which version of a tool should be used.