README.md: add Travis badge