GPS: Parameter to specify a base station position for DGPS

This pull request adds a way to prespecify the RTK base station position, rather than use a noisy GPS estimate of it. 

This will allow for centimeter-accurate global positioning if an accurate base location is given.