Rename gdp-dev to gdp-dev-c for consistency.
Clean up installation scripts and associated documentation to bring it
up to date. I've probably missed things, and this has not been
subjected to any more than cursory testing due to lack of time.
Rough steps for docker image/gdp-monitoring