Removing VanishingIdeals hardcoded html docs (superseeded by Singular's doxygen docs)