comment out all mention of axioms in hol kernel

the inference system doesn't support new_axiom, so the implementation
won't either.