add Travis-ci integration