Experiments in GPS with Raspberry Pi