added dependency to alc-reasoner (+ some license headers got generated)
some re-packaging (to make sure all alc-reasoner classes are in *alc*
packages), statistics changes, and benchmarking for ALC classification,
satisfiability, etc.