use tag 0.14.0 for dev-tools release in the 0.14 release script
Merge pull request #58 from martinpovolny/set-14-tag

use tag 0.14.0 for dev-tools release in the 0.14 release script