Make `[#]` produce goal with `<pers>` modality if premise is not persistent.

This is an alternative for !216. This closes issue #186.
4 jobs for ci/robbert/iFrame in 15 minutes and 19 seconds (queued for 1 second)
latest
Status Job ID Name Coverage
  Build
passed #71788
fp
build-coq.8.10.2

00:08:51

passed #71787
fp-timing
build-coq.8.11.1

00:06:56

passed #71786
fp
build-coq.8.11.dev

00:15:17

passed #71789
fp
build-coq.8.9.1

00:08:29