Added files/folders to ignore for IntelliJ and some changes for theory files for the webinterface