PTS.Options: Drop Local constructor of Flag

This is replaced by Global in all cases.
Options.hs: Drop processFlagsLocal

Now this is entirely redundant. Moreover, we can just as well tell
getOpt to permute the arguments and return the list of non-options
separately.