Printing outlines of ACL2 proofs