Add `f_equiv/=` which performs `simpl` first.

This is similar to `f_equal/=`.
5 jobs from master in 6 minutes and 32 seconds
Status Job ID Name Coverage
  Build
passed #5195
fp-timing
build-coq.8.6

02:04

passed #5194
fp-timing
build-coq.8.6.1

02:05

passed #5193
fp-timing
build-coq.8.7.0

02:02

passed #5192
fp-timing
build-coq.8.7.dev

05:09

 
  Deploy
passed #5196
opam

00:13