platin: add ARM architecture, improve trace analysis (especially for ARM), record time spend in LP solver, small bug fixes
platin: additional scripts for evaluation
pml: move Patmos option -mpatmos-serialize to Codegen option -mserialize, export information on returns