build OSX dmg in the CI

I guess we should do it with our infra, but we could also explore using travis (#9092).