[ssrmatching] update license banner (fix #9281)

This commit fixes a leftover of the merge of ssrmatching where
the .ml code received the appropriate banner, while the .v and
.mli di dnot.

0 files changed, 0 insertions, 0 deletions