Updated docs, added tamarin patch folder