Coq 8.15.2 tagged

The tag for 8.15.2 has been set.