Timing system design and tests for the Gravity Probe B relativity mission. (17th November 2015)