Improve Travis-CI test output and add its badge