v9.0.0+coq8.15

Remove [ _ ]%bigN, [ _ ]%bigZ and [ _ ]%bigQ notations that were causing too many conflicts (use BigN.to_Z, BigZ.to_Z and BigQ.to_Q instead).