Travis-CI, closes #7