AsDeductionSystem* -> InDeductiveSystem

in deductive_generalized.gi
Merge branch 'master' of https://github.com/sebasguts/CategoriesForHomalg

* 'master' of https://github.com/sebasguts/CategoriesForHomalg:
  Rewrote WithGiven methods to use WithoutGiven methods
  Removed obsolete error.
Bugfix in UniversalObjects.gi
New submodule

LogicForCategories
Merged first part of logic parser.

Merge branch 'logic_parser_devel'

* logic_parser_devel:
  Installed logic for Source and Range.
  Sanitized sources to contain functions.
  Added IsInitial and IsTerminal as properties for objects.
  Removed more characters from latex math mode.
  File parser works
  First version of parser.
  Some more parser code.
  Some more code.
  Started theorem parser
Submodule for logic.

Merge remote-tracking branch 'Sepp/master'

* Sepp/master:
  New submodule
Updated gitignore.
Updated logic for categories.
First part of predicate logic parser.