README: add Travis-CI badge