Diff against actual target
We currently diff the latex source against the previous commit, this however is probably not what we want to do. On regular pushes we probably want to diff against the latest commit in the repository before pushing. On merge requests we probably want to diff against the target branch.