A port of Magma to Pharo. As of the release of the stable version of Magma 1.42, this is no longer necessary, as the official Magma now loads in Pharo out of the box.