Documentation

The documentation consist of two documents: - user documentation - developer documentation (this document)