Ignore autogenerated files in documentation

Created by: Zaharid

Fix the syntax so the modules are actually ignored and ignore the newer theories csv.