Make sure the Arduino.h header file has been included if ARDUINO is defined

If ARDUINO is defined then it should be safe to assume <Arduino.h> can be included (and should be, otherwise not all features work).