Finished crucial step of Quillen-Suslin: fixed Horrocks and finished Patch

. moved the cleanup to the beginning of Horrocks
+ added test file Horrocks.g with an Assertion

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