Provide hidden options for proof server.

When doing QA for charmworld bundle proof changes to ensure they work with
charm-proof, it is troublesome to get charm-proof pointed at a local
charmworld instance or the one at staging.jujucharms.com.

This branch adds three new command-line option: --server, --port, and
--secure.

A typical use is:

% charm-proof -b --server=localhost --port=2464 -b .

or

% charm-proof -b --server=staging.jujucharms.com -b .

Note that 'help=argparse.SUPPRESS' has been used so that 'charm-proof -h' does
not show these options to the regular user.  I think suppressing their
existence strikes the right balance between having options that only serve
developers while preserving the clean CLI for the average user.

R=Marco Ceppi
CC=
https://codereview.appspot.com/83700043