Merge pull request #702 from waywardmonkeys/gc-improvements

Gc improvements

Looks fine to me, good improvements.
[dfmc,protocols] Add project-executable-name.
Switch to new build strategy for MPS on Windows.