Rejigger the build system to deal more automatically with portculli:
 - Set ACL2_WRITE_PORT to cause certify-book to output a .port file.
 - Before certifying a book, say "b", scan it for include-book forms
and for each one, say of "a", insert (ld "included-book.port") before
certifying "b", but after the contents of b.acl2/cert.acl2, if any.

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2529 303c5b2c-9740-0410-b014-fd8f9db7be32
Refactor vl parser
 - Generally modernize code to use define, b*, etc., as appropriate.
 - Document most parser utilities
 - Pass the loadconfig through all parser functions (toward SystemVerilog)
 - Eliminate custom vl-mutual-recursion stuff (use std::defines instead)
 - Rework termination proofs to use LEN instead of ACL2-COUNT
   (in support of fixing tokens/warnings)
 - Remove vl-warninglist-p and vl-tokenlist-p hyps from theorems
 - Unsmurf file names
 - Split unit tests into a subdirectory (reducing critical path)
 - Consolidate parse-expressions/statements code into single files
   (improves critical path and maintainability)
 - Other tweaks to improve certification time

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