Antihydrogen physics: gravitation and spectroscopy in AEgIS