XMLterm changes only. Renamed directory extensions/xmlterm/dist to extensions/xmlterm/distrib, per leaf's request.