added Travis CI badget to dev branch