Fixed dependencies in makefile.

VERSION is no longer a precondition for doc.
Merge pull request #5 from sebasguts/master

Fixed dependencies in makefile.
GradedHom -> CombinatorialHom

GradedHom conflicted with the declaration in GradedModules

\#I  method installed for GradedHom matches more than one declaration
Now based on ChernCharacter: HilbertPolynomial, ChernPolynomial
Merge branch 'master' of github.com:homalg-project/CombinatoricsForHomalg
New Function: Head
Fixed: Dual( of a free module ), CombinatorialHom, Hom