More tests on maxosx system profiler output
Merge remote-tracking branch 'arduino/ide-1.5.x' into ide-1.5.x