Added first xsthammer scripts
Progress on xsthammer
Added "rename" command
Fixed generation of newlines in "dump" output
Enabled AST/Verilog front-end optimizations per default
Fixes and improvements in AST const folding
Progress in xsthammer: working proof for cell models