Adding a copy of the last known good Tamarin code base. It's so unmaintained, it doesn't even make sense to fork it.