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)
merge dev_5_0 -D org -I include -E exclude: PR 908 (Flatten path to bioformats_package.jar in bftools.zip (see gh-901))
merge dev_5_0 -D org -I include -E exclude: PR 909 (Add ome-io and ome-java jars to bioformats_package.jar)