tweaking .gitignore
a more or less stable version of the proof interfaces, now implemented
by elk-owlapi module