Fixed handling of unsized constants in verilog frontend
Merge branch 'btor' of https://github.com/ahmedirfan1983/yosys into btor
Restored IdString::check()
Restored Makefile
Moved btor scripts to backends/btor/
Use techmap -share_map in btor scripts
merged clifford changes + removed regex