Keep using alt-ergo on travis
Set an upper limit on directory
Clean up in Hipspec.Pretty