Merge branch 'robbert/iEval' into 'master'

`iEval  ... in ...` for performing a tactic in an invidual proofmode hypothesis

Closes #116

See merge request FP/iris-coq!105
6 jobs for master in 9 minutes and 26 seconds (queued for 10 minutes and 2 seconds)
Status Job ID Name Coverage
  Build
passed #7615
fp-timing
build-coq.8.6.1

00:03:15

passed #7614
fp-timing
build-coq.8.7.1

00:03:07

 
  Deploy
passed #7616
opam

00:00:14

passed #7617
reverse-deps

00:00:14

 
  Build More
passed #7619
fp-timing
build-coq.8.7.0

00:03:02

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

00:03:30