Added all files to deductive system.
Fixed filenames.
Installed automated propagation for deductive category.
Merge branch 'master' of https://github.com/sebasguts/CategoriesForHomalg

* 'master' of https://github.com/sebasguts/CategoriesForHomalg:
  Installed automated propagation for deductive category.
  Fixed filenames.
  Added all files to deductive system.