Owlapi adaptor changes and SyncReasoner update

[alkidbaci]

• Added all reasoning methods to owlapi adaptor.
• SyncReasoner Updated, no longer using owlready2 but instead uses owlapi adaptor for all its methods.
• Fixed iri reminder bug Iri.reminder RecursionError: #51 and removed method get_short_form. Should use reminder instead.
• Updated examples ontology_reasoning.py and using_owlapi_adaptor.py.
• Added module owlapi_mapper.py where one can use method map_ to map classes from and to owlapi (more classes to be added).
• Updated tests
• Updated documentation. Guide 'Reasoning Details' is no longer needed.
• Ontology reasoners no longer support isolated ontology (isolated argument removed). Reason: confusing. If someone needs to isolate an ontology he can create a new world and load the ontology there again. More info on this section.