Changed file strukture

* one master file that links to systems (rules) and theorems
* seperate system files (rules and operators)
* seperate therorem files
* new clj-file for file handling