Support for short mcetool command line options and changes to --set-debug-mode handling

The set-debug-mode option uses mce settings instead of hack that was needed earlier when
mce settings could not be changed on the fly.

All mcetool options now have short versions, e.g. "--set-demo-mode=on" = "-Don".