fully qualify interface name in generated Proxy.bsv files

Change-Id: Ib9f791193daca2bfbd7eda6797f2d4938f8cdf53