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).