* `docs/DEPLOY.md`: Deployment instructions

  * `docs/STRUCTURE.md`: File structure

  * Minor fixes in `README.md`, `Z3/API.hs`, `Normalizer.hs`

  * Deleted old `.gitmodules`