Add Travis-CI tests