Add Travis-CI config file

Also a minor gofmt change.