Added a proof that (x ++ (y ++ z)) = ((x ++ y) ++ z) for Vects
Merge pull request #1210 from DanielWaterworth/vect_append_associative

Added a proof that (x ++ (y ++ z)) = ((x ++ y) ++ z) for Vects