Add a badge for Travis.