Updated pathname.

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2542 303c5b2c-9740-0410-b014-fd8f9db7be32
VL updates, mainly extending the expression format.

1. Consolidated null, this, and $ into a new keyguts atom, which will have room
for things like super, $, , etc.)

2. Changed how array indexing versus bit-selects is accounted for.

Previously, the parser always generated a :vl-bitselect operator for any
expression like foo[3].  But foo might be an array, in which case this is
supposed to be an array index, not a bit-select.  Previously, the
array-indexing transform would convert array indexes into :vl-array-index
operators, leaving ordinary bit-selects as :vl-bitselect.

Now, the parser always generates "unresolved" :vl-index operators.  The former
array-indexing transform has been renamed to resolve-indexing.  It now converts
:vl-index operators into either :vl-bitselect or :vl-array-index operators as
appropriate, or leaves them as (unresolved) :vl-index operators.  This is
generally safer and more flexible.

3. Many changes to hierarchical identifiers.

In Verilog-2005, HIDs have at most one level of indexing, i.e., foo.bar[2].baz
is okay but foo.bar[2][3].baz is malformed.  In SystemVerilog you can have
arbitrary levels of indexing, e.g., foo.bar[2][3][4][5].baz is fine.
Previously HIDs were represented with :vl-hid-dot and :vl-hid-arraydot
operators, which couldn't handle this.  Now HIDs instead of :vl-hid-dot and
:vl-index operators, which can be nested.  There are substantial changes to
hid-tools, follow-hids, hid-elim, sizing, and other places to support this, and
some HID-related functionality has been removed.

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2543 303c5b2c-9740-0410-b014-fd8f9db7be32
maybe fix autolinking stuff

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2544 303c5b2c-9740-0410-b014-fd8f9db7be32
finish fixing autolinking (fixes issue 153)

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