Add Travis-CI badge and configuration.