Added more relations to the morphism properties preservation table

To show what the eventual goal is.
Added a second comparison table to the database: objects in derived categories
Added the second comparison table to the webpage
Adding a .gitignore