DOC replace jquery by minified version

Still 1.7.2, as I saw in the history that @jaquesgrobler had
previously downgraded to this version.