v2.1

Two improvements compared with release v2.0:

1. I added the revised theorem statement for the gradual guarantee which corresponds to the final submission version of the PLDI paper.
2. I improved documentation. Both the project website and the README.md on GitHub are now generated from a single Org file.