short_name method: don't crash when opts doesn't have a 'dsname' value
Add get method so Options will look even more like a dict.
New batch script meant for ordinary users, to run diagnostics.
This is, of course, based on batch.py.
Running from the command line doesn't work very well because the Options class
admits only one path and filter.  So the second path and filter have to be hard-coded.
Merge branch 'master' into devel