Merge branch 'hro-cleanup' into 'develop'

.gitlab-ci.yml

ci-tools/update-grid-servers

ci-tools/update-production

morph/grid/hro-cloud/.gitignore

morph/grid/hro-cloud/config.json

morph/grid/hro-cloud/grid.nix

morph/grid/hro-cloud/public-keys/deploy_key.pub

.../grid/hro-cloud/public-keys/monitoringvpn/172.23.23.1.pub

...grid/hro-cloud/public-keys/monitoringvpn/172.23.23.11.pub

...grid/hro-cloud/public-keys/monitoringvpn/172.23.23.21.pub

...grid/hro-cloud/public-keys/monitoringvpn/172.23.23.22.pub

...grid/hro-cloud/public-keys/monitoringvpn/172.23.23.23.pub

...grid/hro-cloud/public-keys/monitoringvpn/172.23.23.24.pub

...grid/hro-cloud/public-keys/monitoringvpn/172.23.23.25.pub

morph/grid/hro-cloud/public-keys/monitoringvpn/server.pub

morph/grid/hro-cloud/public-keys/users.nix

morph/grid/hro-cloud/storage001-config.nix

morph/grid/hro-cloud/storage001-hardware.nix

morph/grid/hro-cloud/storage002-config.nix

morph/grid/hro-cloud/storage002-hardware.nix