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.
Adapted Sapic-heuristic for a model of PKCS#11.

This is done for testing purpose, as it is very model-specific.
Bugfix.
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
Generalized ranking annotations. Goals with a single name and Inserts for pairs with a const as head are now ranked depending on the first letter of the name (or the const) being L_ for last and F_ for first.
Merge branch 'feature-sapic-heuristics-hints' into feature-sapic-heuristics