Install ajhc to travis-ci.