Additional Views

To improve usability, it is probably necessary to add somes views. Here is room to discuss possible views, we can add.

* One idea is to add a **verification view**, where the user can see which verification tasks are closed and which are open. Maybe he can filter the tasks and do some other stuff (when a task could not be closed get some explanations).
* Another idea is to add a **statistics view**, which aggregates some statistics of the current project.