Add GPS computations for Ivory
build: remove CBMC stuff.
wibble, fix warning.
Merge branch 'pos-hold': stabilize has parity, position hold not working yet

Conflicts:
	src/flight/SMACCMPilot/Flight/Control/Position.hs
control law now reflects nav controller's requests