Marks builtin redefinitions as STD functions
Marks builtin redefinitions as STD functions

When using MergeSTD, the flatzinc redefinitions weren't being merged, thus being reported missing in the new model. These files are included by builtins.mzn, and should be marked as part of the STD library.
jjdekker/libminizinc,jjdekker/libminizinc,jjdekker/libminizinc,jjdekker/libminizinc