Modified profile-acl2 and profile-all to work in the ACL2 loop, and added :doc.  Updated *acl2-broken-links-alist*.

Thanks to Shilpi Goel for a query that led to updating profile-acl2
and profile-all to work in the ACL2 loop.