enhanced .gitignore
added patterns and test generators

added patterns and generators for
- unique value constraints of inverse functional properties
- symmetric properties involved in only one axiom (only 'one-way')
- properties being asymmetric but being used as symmetric properties
- transitive properties with missing statements containing the
  consequent transitive entailments
- irreflexive properties containing statements like "ex:a prop ex:a ."
Merge branch 'dev' of https://github.com/AKSW/Databugger into dev