Propagate number of threads to ProdConf options file

Gauss v60 will need to set number of threads and so this needs to be propagated from json to options file.

cc: @gcorti, @mwhitehe