Docker development improvements hotfix: docker mailserver config [#20] Move docker image pull to Harbor
