Update: ssh/config | add bin/jsonpretty, tools/{bootstrap,kick-cgp}.sh

ssh/confg          -- added *.elfwerks.org w/ defaults
bin/jsonpretty     -- quick & dirty (python) json output formatter
tools/             -- new directory to store non-installed, misc tools
tools/bootstrap.sh -- bootstraps a new environment w/ emphasis on Nova
tools/kick-cgp.sh  -- installs CGP on an Ubuntu host.