Reference the standard Arduino core when using Arduino 1.5.x

This is possible after https://github.com/arduino/Arduino/pull/1368 got merged
Optiboot is now the only board entry