Add travis-ci badge to docs