[jenkins] Include PR number in version.h if PR builder env is set