7.2.3.67 $VERSION: Present FWEB version number

$VERSION’ returns a string built out of the FWEB version number, such as "1.61".