Do not tag development releases "dev"

Do not tag development releases "dev", as it conflicts with our common
versioning code. Fixes bug 1131622.

Change-Id: I33ab25de1d1509c79d11f1919239798663b0cd22