Merge pull request #1 from mschmoelzer/master

Add support for "fsm_export" synthesis attributes to fsm_export pass
Added support for "always @(*)"
"fsm_export" pass: fix KISS file generation.

The KISS file format now follows the conventions specified in
"Logic Synthesis and Optimization Benchmarks User Guide", Version 3.0
by Saeyang Yang.

This change ensures interoperability with the "trfsmgen" program by Johann
Glaser.

Signed-off-by: Martin Schmölzer <martin.schmoelzer@student.tuwien.ac.at>
Merge pull request #2 from mschmoelzer/master

"fsm_export" pass: fix KISS file generation.
Added support for verilog genblock[index].member syntax
Moved stand-alone libs to libs/ directory and added libs/subcircuit
Added copyright statement to readme file
Fixed typo in README
Added some additional TODO items
Added "extract" pass (not functional yet)
Added support for constant signals in "extract" pass
Implemented basic functionality of "extract" pass
Added extract -verbose and -map ilang support
Added support for simple gates with one constant input to opt_const
Fixed "extract" pass for non-optimized needles
Changed default frontend for "-" to "script" (was: "ilang")
Added "extract -constports" feature
Added port swapping and compatible types to "extract" pass
Added "help" command
Added more help messages (extract, abc, dfflibmap)