Restore Travis CI test result badge