fixed a potential deadlock in ClassExpressionSaturationFactory
checked out .gitignore from master
Merge branch 'backports'
Merge branch 'master' into elk-new-incremental

Conflicts:
	elk-reasoner/src/main/java/org/semanticweb/elk/reasoner/saturation/ClassExpressionSaturationFactory.java