Change git tag format in Ant (no more 1.4.dev... stuff)