Added info about how to compile ERFA from ERFA-fetch