added concat and slice cell translation
Merge branch 'master' of https://github.com/cliffordwolf/yosys into btor
register output corrected
disabling splice command in the script
modified btor synthesis script for correct use of splice command.
Merge pull request #26 from ahmedirfan1983/btor

Btor