add random helper scripts

These are all kinda weird but I use them when creating releases, so it
seems to make sense to add them to the repo. I don't think they are
useful to anyone but me, but in the event someone else takes over, they
might be a useful starting point.

Signed-off-by: Dirk Hohndel <dirk@hohndel.org>

scripts/ReleaseTasks.txt

@@ -0,0 +1,13 @@
+Work on release announcement draft in subsurface.github.io repo to get translations
+
+Run scripts/makeRelease.sh
+Upload sources to webserver
+Push sources and tags to github
+
+Check that automated Linux distro builds have succeeded and are pushed to RELEASE
+Notarize automated Mac build and upload to new and old webserver (for version check)
+Copy Windows installers and AppImages from GitHub to new and old webserver (for version check)
+
+Add date to release announcement draft and move to the corresponding _posts directories
+Update links on website
+Post to Scubaboard

scripts/countTranslations.sh

@@ -0,0 +1,21 @@
+#!/bin/bash
+#
+# simply create some stats
+if [ ! -d translations ] && [ ! -f translations/subsurface_source.ts ] ; then
+	echo "please start from the Subsurface source directory"
+	exit 1
+fi
+
+cd translations || exit 1
+
+STRINGS=$(grep -c source subsurface_source.ts)
+
+for tr in subsurface_*.ts
+do
+	[ "$tr" = "subsurface_source.ts" ] && continue
+	[ "$tr" = "subsurface_en_US.ts" ] && continue
+	MISSING=$(grep -c "translation.*unfinished" "$tr")
+	PERCENT=$(( (STRINGS - MISSING) * 100 / STRINGS ))
+	printf "%3d %s\n" "$PERCENT" "$tr"
+done | sort -n -r
+

scripts/prep-manual.sh

@@ -0,0 +1,7 @@
+#!/bin/bash
+cat $1 | \
+	sed -e '1,/title/d;/<\/head>/,/<body/d;/<\/body/,/<\/html/d' | \
+	sed -e '/^@media/,/^}/d' | \
+	sed -e 's/src="images/src="\/images/g' | \
+	sed -e 's/src="mobile-images/src="\/mobile-images/g' | \
+	html-minifier --collapse-whitespace --keep-closing-slash --minify-js --minify-css > $1.wp