Updated `arv' command line format options. Default now generates JSON. (refs #1889)

Replaced --pretty, --json, --uuid, --yaml, --human with
--format={json,uuid,yaml}, and added --short for --format=uuid.

Default output format is now JSON (pretty-printed).
Merge branch 'master' of git.clinicalfuture.com:arvados