Add Travis-CI job to check patches and Jenkins configuration (#346)