Modify Arduino build config for IDE >= 1.5.7

Arduino IDE >= 1.5.7 changes ARDUINO_PATH from `Contents/Resources/Java` to `Contents/Java`, and uses new gcc bundle, mentioned in #2632