Preserve the format of the version number used by the user.

This fixed the server-side component of [issue 13863](https://code.google.com/p/dart/issues/detail?id=13863).