Use Spring's propdeps plugin: "provided", at last

Still not implemented in gradle proper as of 1.11rc*, in spite of demands. See:
http://issues.gradle.org/browse/GRADLE-784
dorelease.sh: remove obsolete comment