coordConv 0.9.9

Implemented CoordConv.setCurrTAI (a const method), so that current coordinates can have their
date directly updated instead of having to make copies. This speeds up coordinate conversion,
especially of PVTCoords.
Added historical timing data.