Improve cross-platform building; add fs_core* to the UG driver model
arguments; fix bugs in the closure parsing in syntool; update INSTALL
documentation