Travis

@avsm @vouillon I believe on of you will need to enable it on travis-ci.org (before merging this PR)