* add toVHDL_kh convertor (main code and test) * add vhdl_lib