fixed homepages of Anna and Mohamed

+ added Anna to title.xml
declared and installed GetFirstMonicOfSmallestDegree and CleanRowUsingMonics

in order to streamline and fix Horrocks in a later commit
streamlined and fixed Horrocks

using GetFirstMonicOfSmallestDegree and CleanRowUsingMonics