Add a CI check that no options files are updated in MRs

For AppConfig we have a convention that existing options files should not be modified (in order to not change behaviour of applications when a new version is released) - only new files should be added. It would be good to do this in an automated CI check.

@rmatev @clemenci FYI