Travis-CI, closes #5