added Travis badge (#12)