Update to mathcomp 1.15
Currently blocked by lack of support for mathcomp 1.15 in CoqEAL's .opam file.