use Travis-CI for integration