Update TinyGPS to version 13 and use better precision in location page.
Support DHCP configuration of server.
Use floating point libraries to make the math easier.