documentation: installation and user manual