Version number

Sat Sep 22 07:14:37 CEST 2007

New version number will be 5.00 instead of 4.09, because the
AST quotations in user syntax is a major change.