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 src/resources/manual/manual.html.