Adding Digital Object Identifier (DOI) from zenodo.org, making the code
citable
Fixing wrong commit
Update Revision of GPS ICDs
Adding Marc Sales to the list of developers
Fixes rounding errors in frequency to period conversion that were
causing tracking losses. Bug spotted by Marc Sales.
Merge branch 'next' into next-andres