Fix Travis CI build

Fix spacing

Remove extraneous exclude

Compress .travis.yml

Enable verbose HTML proof

Fix Rakefile