Travis changes

This changes Travis to build all branches except WIP ones, and to do the make check / make func-test stuff in verbose mode, so we see the test output too, if any of them fail.