Merge branch editors-sebastian

- implementation of statement, argument and argument graph editors (to
  be finished)
- work on the breadcrumb
- various refactoring of the client code