HomeIsabelle/Phabricator

Merge branch 'BootStrapSpeedUp' into BootFromInterpreter