Configuration files and scripts to integrate ODoSE with Galaxy