A git mirror of the JPL C Spice library