Split the zify instances into two parts: one for ssreflect and anothe…

…r for algebra

`divZ` and `modZ` have been redefined to be independent of `ssrint` and
`intdiv`, so that the zify instances for `coq-mathcomp-ssreflect` can be
independent of `coq-mathcomp-algebra`.