Docker-based deployment configuration(s) for WebGME