ebmc language interface implementation for Verilog#1454

kroening merged 2 commits intomaindiffblue/hw-cbmc:mainfrom

verilog-language-apidiffblue/hw-cbmc:verilog-language-apiCopy head branch name to clipboard