Add Travis configuration and a badge