Added a drawing of the files used in NIZKP RCG-VCS
Updated the text of the introduction to the NIZKP RCG-VCS, and added the diagram explaining the relationships between the seven CSV files
Added a table detailing the subproofs
Described cut-sort-diff in the system documentation
Formatting (Jalopy)