Documentation update

- Updated the build system and Doxyfiles to include the examples
  to the documentation.
- Other minor docs changes.
Multiple changes in Mirror

- Added the first Mirror's example.
- Minor updates in mirror::evaluate.
- Added doxyfiles for Mirror's docs.
- Documentation updates.
- Other minor updates.