fixes travis-ci badge of README.md: fixes #2