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.