Merge pull request #4 from hansiglaser/master

fsm_export: specify KISS filename on command line
Merge pull request #5 from hansiglaser/master

fsm_export: optionally use binary state encoding as state names instead of  s0, s1, ...
Fixed clock related parameter names for $memrd and $memwr in techlibs/simlib.v
Merge branch 'master' of github.com:cliffordwolf/yosys
Fixed a bug in opt_const when optimizing 1-bit compares with constants
Fixed a bug in AST frontend for cases with non-blocking assigned variables as case values
Added "submod -name ..." support
Fixed "show -format ..." command line parsing