Current version
moved the cleanup to the beginning of Horrocks and finished Patch

+ added test file Horrocks.g with an Assertion

(depends on new packages:
 . RingsForHomalg
 . LocalizeRingForHomalg
 . MatricesForHomalg
 v2013.07.12)