Jared branch updates...

Updated defconsts to use xdoc.  Updated it to use libraries instead of proving
its own lemmas.  Moved it from tools/ into std/util.

Moved serialize/unsound-read into std/io.  We can eventually get rid of the
serialize/ directory.

Added some basic XDOC documentation for Milawa.

Other minor documentation updates.








git-svn-id: http://acl2-books.googlecode.com/svn/branches/jared@2128 303c5b2c-9740-0410-b014-fd8f9db7be32