Docker image for executing SADI services in a Galaxy server