Update and rename Tangles.thy to Tangles_Older_Version.thy

Older version of Tangles.thy with all the possible basic moves written into the definition of Tangle equivalence.