added Travis-ci badge