Described proof of correctness
Described q number generation
Finished describing key generation
Described remainders of implementation
Merge branch 'ptkb-dsa_documentation'