Tamarin prover 1.6.0 with NYK patch

Disabled Yesod sessions.

We don't need two-hour sessions in any particular way, and this stops Tamarin from producing the "client_session_key.aes" file.
This also makes life easier for some virtualization solutions.