Merge branch '25-add-option-to-use-light-travel-times-instead-of-proper-pseudo-ranges' into 'master' Resolve "Add option to use light travel times instead of proper pseudo ranges" Closes #25 See merge request !80