platin: Fixed typo in ait machine config export
platin: Some work on options and OSX exporter for OTAWA