mkimage-debian should also tag using the release version number

This is as discussed on #447.