[ci] Install help2man on the linux-ci workflow Generating manpages is not tested on any CI jobs otherwise.