Adapted Sapic heuristics.

Insert events are neither F nor L, Knows-goals with a fresh value are not F
anymore, as in some cases, they are unimportant, e.g. when they are handles.
Merge branch 'feature-sapic-heuristics-pkcs11' of https://github.com/tamarin-prover/tamarin-prover into feature-sapic-heuristics-pkcs11

Conflicts:
	lib/theory/src/Theory/Constraint/Solver/ProofMethod.hs