- change computation of VERSION to use tools/getversioninfo; this is
  more reliable than using the $Revision$ expansion
- $RELEASE is no longer needed; we can just use $VERSION now