Make a number of small (mostly cosmetic) tweaks:

* Pick a `[[` style
* Set up parallel tex/no-tex tests
* Move config options to the wiki
* Kill a stale comment or two
* Add `set -x` in `travis-tool.sh`