Configure travis CI to output more information

to be able to find out where a deadlock is