User manual

This page is currently under development. In the meantime, you can find a user manual in EVA under the help tab, or get the HTML document directly from the source code at src/resources/manual/manual.html.