macOS build fixes and Jenkins pipelines.
This includes:
- some build fixes
- Jenkins pipelines, in use since January
- a revamped DMG build script, including dmgbuild configuration by Tobbi and a tweak by norsnor (D2650)
Differential Revision: https://code.wildfiregames.com/D2523