Compile to Magma! (Not finished)

Last step will probably be to make a proper-behaving
windows & linux command line magma compiler,
so make can just run that to produce an rba.