Add Travis build status

and minor reformatting