Extensive documentation updates, providing basic documentation on all public definitions.  Also, removed setRaftConfigurationIndex, which was a relic from an earlier implementation.