adding formula to build XSB from head

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