Update travis-ci badge to reflect local result