Update version number to 2.0.0 for release
* Update the configuration for the inclusion of the user manuals
* Fix a type in the version update instructions
Check-pick documentation directory from docs branch at
#9c3f9f4c3f54768b871dbbafb65de55f6d611601
Update version to 2.0.1-SNAPSHOT for development
Merge branch 'astv2' into compass/development
This moves the base version of Overture for COMPASS to 2.0.1-SNAPSHOT
Merge remote-tracking branch 'origin/compass/development' into newpog