Add use case diagrams (they were forgotten in the last commit)