Skip reset-prehistory when loading included books' port files in make_cert_help

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2564 303c5b2c-9740-0410-b014-fd8f9db7be32
move the biggest proof in defung-stress out of the 'all' target (fixes issue 156), small improvement to equal-by-logbitp

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2565 303c5b2c-9740-0410-b014-fd8f9db7be32
forgot to add defung-stress-long.lisp

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2566 303c5b2c-9740-0410-b014-fd8f9db7be32