changed the warning text in GuessModuleOfGlobalSectionsFromATateMap

+ updated example file HorrocksMumford.g accordingly
installed TateResolution for Sepp's talk

installed TateResolution for E-modules
adapted bounds to visualize the Serre vector bundle criterion in HorrocksMumford.g