Add CI with Travis.