gensoc: use add_verilog_include_path