Add the Naval Observatory high-precision NOVAS lib

Another Python astronomy library — well, a Python wrapper the Naval Observatory wrapped around their C code — for the benchmark.