shorten (and un-quiet) the install phase in travis.