MIRA: Select only parts of MIRA for document generation
Add a selection box (similar to choosing actors in the use case) to choose all elements, that should be exported to the documents.
(from redmine: issue id 1116, created on 2013-01-07, closed on 2014-03-18)