Fix issue 249: Single digit release number

Clearly, single digit release numbers should be allowed in
release stamp files. In fact, single *character* release
ids should be allowed, as should single character release
names (although how useful that latter is I'm not sure!).