added Travis-CI status badge