Render asserted and inferred axioms nicely in SWRLTab

[csnyulas]

The current way of displaying the axioms in the "Asserted Axioms" and "Inferred Axioms" tabs is hard to read.

Use the Protege axiom renderer to present the asserted and inferred axioms nicely.