[WIP] Read-Write quorum algorithm

[sridhargopinath]

Hi,

I am new to TLA+ and am learning the PlusCal language. I found this repository very useful and wanted to contribute simple distributed algorithms to the repository that I am learning. I implemented the read-write quorum algorithm for operations on a shared variable. It is inspired by the below lecture. https://www.youtube.com/watch?v=uNxl3BFcKSA

Please review and let me know of any changes I need to make.

Thanks!

[sridhargopinath]

Thank you for the detailed list of changes. I will incorporate these changes and will update the PR.

[lemmy]

@sridhargopinath Feel free to re-open.