add a bonus for chained facts, since they are likely to be relevant;
(especially in a Mirabelle run!) -- chained facts used to be included forcibly, then were treated as any other fact; the current approach seems more flexible
#!/usr/bin/env bash
#
# Author: Stefan Berghofer, TU Muenchen
#
# DESCRIPTION: display Isabelle version
echo 'unidentified repository version' # filled in automatically!