Revert "#18 In Progress - Dropping support for Tamarin-Redux updates, considering switching TR/TRD tools"

This reverts commit 4a4c276dc2dbf8191430d74530e609895a1be0e9.