Add contract_induction tactic

This tactic applies contract_centric with evars and puts the "establish
facts" obligation last. This allows the user to instantiate these during
the proof of the property.
4 jobs for master in 8 minutes and 23 seconds (queued for 1 second)
latest
Status Job ID Name Coverage
  Build
passed #103289
au
coq:8.10

00:03:57

passed #103287
au
coq:8.8

00:03:53

passed #103288
au
coq:8.9

00:03:57

passed #103290
au
coq:dev

00:04:25