README: Mention VERSIONS.txt for upgrade info; README.developer run configs: Use default port#; optional bots with cookies; from master/4ded9de, 857e715
build.xml: Prevent ant 1.8+ warning message: javac includeantruntime=false; from master/a6bd6fa