Git/gpstools/: New commit

51d494ea-e7ac-11e2-84df-001f3b596ec9
sj: Add "kern", tail -f /var/log/kern.log

63c1ad96-e7ac-11e2-a034-001f3b596ec9