Accessing the GPS device from the Arduino IDE