Started theorem parser
Some more code.
Some more parser code.
First version of parser.
File parser works
Removed more characters from latex math mode.
Added IsInitial and IsTerminal as properties for objects.

Closes #20.
Sanitized sources to contain functions.
Installed logic for Source and Range.
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.
Merge branch 'master' of https://github.com/sebasguts/CategoriesForHomalg

* 'master' of https://github.com/sebasguts/CategoriesForHomalg:
  Updated gitignore.
  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
UniversalMorphismIntoDirectProduct

now also needs the diagram as an input.
UniversalMorphismFromCoproduct

now needs diagram as argument