Switch to new options handling.

This changes lots of stuff, let me know if it broke anything.

Comments:

- We use a local hacked version of GetOpt that allows long forms of commands to start with a single dash. This breaks other parts of GetOpt. For example, arguments to short options now require a =, and does not allo pace after the option character.

- The new command parsing is currently only used for the program command line, pragmas and the arguments for the 'i' shell command.

- I made a quick hack for the options for showTerm, which currently makes it impossible to use the print style flags for cc. This will be replaced by a facility for parsing command-specific options.

- The verbosity handling is broken in some places. I will fix that in a later patch.

src-3.0/GF/Grammar/PrGrammar.hs

@@ -233,7 +233,7 @@ prExp e = case e of
 
 -- | option @-strip@ strips qualifications
 prTermOpt :: Options -> Term -> String
-prTermOpt opts = if oElem nostripQualif opts then prt else prExp
+prTermOpt opts = if PrinterStrip `elem` flag optPrinter opts then prt else prExp
 
 -- | to get rid of brackets in the editor
 prRefinement :: Term -> String