fix transitions DOT export for matchings
simplify metrics handling
remove useless output
remove fxml files that are not used anymore
fix layout
start metrics for navigation graphs