nixos/jekins: rename option services.jenkins.{extraOpts => extraOptions}

I noticed "extraOptions" is infinitely more used than "extraOpts" in
NixOS.