Added illustrations of the CAL theorem

[edwardalee]

These examples show how to relax consistency to improve availability for both centralized and decentralized coordination.