Fix prove_options_list spec not containing the timeout.
Fix prove_options_list spec not containing the timeout.

ontohub/ontohub,ontohub/ontohub,ontohub/ontohub,ontohub/ontohub,ontohub/ontohub,ontohub/ontohub