Debian: update updateversion tool to handle pre-release tags.

Refs #5816