Docker update
This MR updates docker relative scripts to adapt the latest version of RMIServer. The CI pipeline now automatically builds and publishes RMIServer docker image when new master is released. The published docker image has been tested with server and works perfect.