view-permalink feature, fixes

alphabetical axiom ordering, default to labels document, distinction of
whether justification axioms are effectual [e], ineffectual [i], or
shared [s].