lib/Tools/version

clarified situation about unidentified repository versions -- in a distributed setting there is not "the" repository;

#!/usr/bin/env bash
#
# Author: Stefan Berghofer, TU Muenchen
#
# DESCRIPTION: display Isabelle version

echo 'unidentified repository version'    # filled in automatically!