Add Travis configuration and a badge in README.