Add the Naval Observatory high-precision NOVAS lib