vl: change casezx-elim to use a mask approach like wildeq instead of bitslicing
Merge jaredxb into generate
add some fail tests
rename genelement-collection to genblob, add it to scopestacks, add a new syntax for resolved generate blocks, add a book about recurring over them
Merge jaredxb into generate

Conflicts:
	books/centaur/vl/systest/errcheck.pl
add imports as parseable moditems, add basic import failtests
Merge remote-tracking branch 'remotes/origin/master'
a few more VL fail tests
start on new unparameterization with support for global/package parameters and generates
merge upstream into generate branch
vl: fix bug with preprocessor warning about redundant defines, patch make-implicit-wires to properly handle wildcard imports
more failtests
vl: tweak parsing of genelements to avoid backtracking (mostly for better error messages)
vl: extend expression parser to handle most foo::bar style expressions
compatibility fixes for server-raw.lsp for non-acl2(h) images
work on unparameterization/generate resolution
merge jared's stuff into generate branch
fix some build problems
VL: basic unparameterization support for generates
VL: fix a few problems related to generates