Get rid of option_helpers.py.

It was redundant with global_options.py.

This allowed us to make doc gen for global options
more uniform with that for task-specific options.
Reintroduce rcfiles.

Now they are simply alternate config files, in pants.ini format.

This also re-implements the "overrides" functionality.

This change also modifies how config caching is done. Previously
configs were keyed by the file they were read from. But in practice
code always calls Config.from_cache() with no argument, which
defaults to the regular pants.ini. This leads to dangerous confusion
when config can be read from other files. So now there's just a single
global cached config, which must be set explicitly.