Update descriptions of required CxProlog and XSB minimum versions