Update travis-ci badge to point at the dev branch