Rename CI production master to mm-ci-production (#533)

Tiny patch to fix the new DNS name for CI production master. @andreieftimie can you please have a quick look at? Thanks