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