Reformat and (slightly) decruft all the things.
Nuke Travis CI