Adds some debugging stuff to Travis CI configuration