Restructured text version of Verification Strategy

1. Convert the Verification Strategy to restructured text (*.rst).
2. Add Makefile to support building html and pdf using Sphinx.
3. Add readthedocs YAML configuration.
4. Delete the old PDF.