As a modelling user I can do an auto-layout of the diagram by pressing a button.

Activiti Designer already has this function, though it is not triggered by a button yet, but on import of a diagram without DI-information:
https://github.com/Activiti/Activiti/tree/master/modules/activiti-bpmn-layout/src/main/java/org/activiti/bpmn