Added options to the allowed list of properties for Loaders and Savers.

git-svn-id: https://svn.cms.waikato.ac.nz/svn/weka/trunk@9862 e0a1b77d-ad91-4216-81b1-defd5f83fa92
Merge remote-tracking branch 'upstream'