Test display_of_axioms on travis.