HoTT/HoTT — pull request #223 by JasonGross (2013-10-11 17:53:45+00:00)
Title: Use `command -v` to check for presence of autogoo

As per http://stackoverflow.com/a/677212