decides on double dash for short options.  mixing single and double gets confusing