Replace all uses of `inversion` by `inv`.

stdpp/countable.v

stdpp/fin_map_dom.v

stdpp/fin_maps.v

stdpp/lexico.v

stdpp/option.v

stdpp/relations.v

stdpp/sorting.v