Merge branch 'stable'
track version bump of mdm bootstrap in shared build config.
refer first to our own central repositories for where to get binary distributions of mdm.
switch the github raw url to use their new domain for raws.
fix bug with half-present repos introduced by the split of gitdir from working tree in v2.17.0.
Merge branch 'master' into stable