merge dev_5_0 -D org -I include -E exclude: PR 900 (11955 further docs fixes)
merge dev_5_0 -D org -I include -E exclude: PR 903 (Fix upgrade checker to delete loci_tools.jar when appropriate)