Travis Tweaks

Minor formatting tweaks and added hhvm tests.