Update generated Stratego files

These files are automatically modified on each run. As they are tracked
by git from upstream, I have decided to commit this change, instead of
ignoring the files.