VL updates for better SystemVerilog lexing
  - Extend string lexing to deal with new escape sequences
  - Extend number lexing to deal with time literals
  - Other various cleanups to the lexer
  - Miscellaneous supporting changes

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

  - Relocated str/ into std/strings (with stubs in str/, so includes should
    continue to work.)  Updated include-books throughout books/.

  - Merged package.lsp files for xdoc, str, std/osets, and std/bitsets into
    std/package.lsp and a single, unified portcullis file, to simplify package
    management

XDOC updates:

  - Fixed some bugs in @('...') and @({...}) handling (fixes issue 133)

Miscellaneous:

  - Reduce some printing from jared-customization.lsp
  - Tweaks to .gitignores

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2483 303c5b2c-9740-0410-b014-fd8f9db7be32
Fixing a couple typos

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