Issue #116: Fix up VHPI errors using GHDL, add vhpi_user.h