add support for .name-style connections, and initial representation/parsing of .*-style connections.
probably implement .* support
mostly get new tokstream stuff implemented
Adding README.md file for integration with github
Merge remote-tracking branch 'origin'

Merging origin into local repo.
After communicating offline with Matt, adding README.md symlink to top-level.
done tokstream conversion in the parser
Modifying jenkins Makefile so it no longer needs an extra 'acl2-devel' directory.  Also, adding the other 5 combinations of features.
Updating jenkins Makefile to avoid irrelevant NFS lag warnings; Adding and updating script of appropriate name for performing multiple builds; Attempted to delete old version of that script
update expr-parse for tokstream conversion
fix parser tests for tokstream change
Merge remote-tracking branch 'remotes/origin/master' into mas
fix use-set-ignore for tokstream
extend make-implicit-wires to know about .name style ports
Merge remote-tracking branch 'remotes/fv/tokstream' into mas
add some tests of new implicit wire restrictions
Fix bugs with VL's handling of #(...) parameter declarations for
Verilog-2005.

SystemVerilog extensions to #(...) are not yet implemented, but
shouldn't be difficult to add.
Added :measure-debug, analogue of :guard-debug for termination proofs.

Quoting :doc note-7-0:

  A new [xargs] keyword, :[measure-debug], decorates each termination
  proof goal with [extra-info] calls that show the source of the
  goal. Thanks to Jared Davis (first in 2008!), Sol Swords, and Anna
  Slobodova for requesting this feature.