Antihydrogen Physics: gravitation and spectroscopy in AEgIS