Replace ssrlia with mczify

Since Prosa now requires Coq >= 8.13 and mczify is also available for Coq >= 8.13, we could replace the home made ssrlia by the more powerful lia offered by mczify.