genversion.sh: rename GIT_HEAD_ID to PIPLIB_HEAD and drop "piplib-" prefix