Slightly modified version of the SerialGPS library (https://os.mbed.com/teams/components/code/SerialGPS/) to support the BufferedSerial class

.gitignore/shortlog@2c76f1ec13a9: not found in manifest