Add --ver-file option to release task, so jenkins can read version number