Add travis-ci badge for automated testing