[PATCH] Add JENKINS_PROXY support to makebumpver