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.
Remove local options from processJobs API

Now processJobs gets a global option configuration and a list of files,
instead of getting per-file configurations.
Options: Flag ↦ Global & c.

Also rename related identifiers (and adjust alignment).
Simplify parseCommandLine by making it non-CPS

parseCommandLine simply calls its argument once in tail position. Then
we can simplify the interface to clarify parseCommandLine simply
computes some value.

In other words, it is in the Cont monad (not even explicitly) but does
not use it for any side effect, because it just calls return for that
monad. Therefore, we can just as well move it out of this monad to make
it more pure.
Merge pull request #123 from Blaisorblade/topic/no-local-opts-v2

Avoid local options v2