Merge pull request #17 from wagh/devel

Declared and installed property IsMonicUptoUnit for homalg ring elements