Add info on pushing of exercises IDs

It is never clearly mentioned in our guides that Dodona will also make changes to a repository.
This results in some users being confused about merge issues. We should find a place to mention this without further confusing users unfamiliar with git.