Incorrect disposal of reasoner in debugging session life cycle

When stopping a debugging session the reasoner is going to be disposed. When then the debugging session is started again, the same reasoner is used again. This causes a crash of the FaCT-reasoner which in turn results in a Protégé program exit.