make tests verbose in Travis CI