activated AutoDoc
fixed reference
use AssignGeneratorVariables in example file
declared and installed "applying Suslin Lemma"

needs CoefficientOfUnivariatePolynomial in MatricesForHomalg v2013.05.27
First version of Horrocks
Merge pull request #2 from wagh/devel

First version of Horrocks