batch9 tag and el9 disttag added

As requested in RQF1966796, batch9 tag with el9 disttag was added.

bin/tags/batch9.sh

+#!/bin/bash
+
+TAG="batch9"
+ARCHES="x86_64"
+#PERMS=""
+#TESTING=0
+#EPEL=0
+DISTTAG="el9.cern"
+
+### You probably don't need to change anything below this
+source createtag9.sh