Fixed some option handling stuff

git-svn-id: https://svn.cms.waikato.ac.nz/svn/weka@10429 e0a1b77d-ad91-4216-81b1-defd5f83fa92