Add check-version.sh script

check-version.sh

@@ -0,0 +1,8 @@
+#!/bin/bash
+
+URL="https://www.gnu.org/software/dejagnu/"
+
+# Get version number from tag name
+VERSION=$(curl -s -L "$URL" | grep 'The current version of DejaGnu is ' | grep -o -E '([0-9]*\.[0-9]*)\.[0-9]*')
+
+echo "$VERSION"