Add Spotlight [Information] Tamarin Prover

Add the spotlight Tamarin Prover project

See: https://github.com/tamarin-prover/tamarin-prover