Change use option_list for options separates by spaces and optionlist when separated by underbar characters.
Change use option_list for options separates by spaces and optionlist when
separated by underbar characters.

git-svn-id: 3f5418f4deb1796ec361794c2e3ca0aec3c9c1fd@2493 0e562018-b8fb-0310-a933-ecf073c7c197

wegamekinglc/CppAD,wegamekinglc/CppAD,wegamekinglc/CppAD,kaskr/CppAD,kaskr/CppAD,utke1/cppad,utke1/cppad,wegamekinglc/CppAD,kaskr/CppAD,kaskr/CppAD,utke1/cppad,utke1/cppad,wegamekinglc/CppAD,kaskr/CppAD