Add tests to enforce code formatting
Formatting
Update .travis.yml to enable using hfmt from its github repo
Update .travis.yml to install newer happy

* Install and use happy-1.19.3
* Move hfmt git clone into a separate directory