Add Travis-ci integration