Verbose regtest output for Travis CI

`make test VERBOSE=1` to get a dump of test/cil.log in case of failure.
Fix mismatching type in computed goto elimination