Add README file listing the planning documents.
Rename criticode_models.pdf to models.pdf for consistency