saving prn with actual prn, not stored prn (which is one less)
Added logging to Piksi console.

r=@fnoble,@imh,@cbeighley
Merge pull request #206 from mookerji/console_debug

Added logging to Piksi console.
Small changes to make Ubuntu/Debian on ARMhf work (and probably others).
Merge pull request #209 from jabjoe/arm_support

Small changes to make Ubuntu/Debian on ARMhf work (and probably others).
Provisioning fixes.

0. Support for multiple OS targets.
1. Dependency fixes for gcc-arm, curl, etc.

r=@fnoble,@imh,@cbeighley
Fix RaspberryPi OSTYPE = linux-gnueabihf match in setup.sh.
Update README for Vagrant use.
Merge pull request #200 from mookerji/182-vagrant-fix

Provisioning fixes (including Debian).
Merge pull request #202 from imh/prn_fix

Saving ephemeris prn with actual prn, not stored prn (which is one less)