install patched XSB and build dymodule

Signed-off-by: Jim Klo <jim.klo@sri.com>