Add Travis-CI for PR testing