Add travis support

(I think the mailing list should be updated)