adding the usual default.mmc interface to mmix
and providing special options
Authored by: ruckert 2008-09-18
Parent: [r155]
Child: [r157]