Instructions for Code Coverage fail on Ubuntu 16.10

[jgwilson42]

** Observed Behaviour **

Having followed the instructions (COMPILING) on Ubuntu 16.10 I get the following error when attempting to run get_coverage.sh:

james_wilson@ubuntu:~/source/cbmc/regression$ ./get_coverage.sh 
INFO: setting up vpath build make[1]: g++: Command not found
Makefile:57: recipe for target 'library/converter' failed
make[1]: *** [library/converter] Error 127
Makefile:56: recipe for target 'ansi-c_generated_files' failed
make: *** [ansi-c_generated_files] Error 2
Failed to run 'make generated_files'
[ERROR]
ERROR: See ./coverage_SrhN5/cbmc_coverage.out for more information

After installing g++ using apt-get install g++ this error goes away

Expected Behaviour

For the documentation to include the packages required.

Version

CBMC master Latest commit d999e56.

Steps to reproduce

1. On a clean ubuntu VM (gcloud)
2. Install packages listed in the COMPILING docs
3. cd regression
4. ./get_coverage.sh