web.js: really make jQuery.ajax optional
web.js: really make jQuery.ajax optional

timbl/rdflib.js,ariutta/rdflib.js,timbl/rdflib.js,redaktor/rdflib.js,nicola/rdflib.js,timbl/rdflib.js,nicola/rdflib.js,redaktor/rdflib.js,ariutta/rdflib.js,ariutta/rdflib.js