Output Mac OS version (or Windows 8) on splashscreen
+ formatting message
support for Part::Thickness in exportDRAWEXE.py
support for Draft::Ellipse in exportDRAWEXE.py
support Annotations
simplify float formatting