[Tinyos-1.2wg] Tools for 1.2

[David Gay]

> >avarice 2.3.20041206 (that's "latest CVS")
> >
> Unless they named it that way let's change that to 2.3-20041206.  I've
> seen tools choke on dot usage like the above, because they think the
> date is the patch version and get all confused if you upgrade to a real
> patch version.

"They" did name it that way, but a - is just a commit away ;-) We can
give it a nice official version number too, if we really want.

David