Premium: Update --help output and manual for --premium-license-file and --premium-cert-c-int-precision options #7841