merged in lp:~tapaal-contributor/tapaal/merge-query-dialogs that makes a joint reachability and CTL dialog and uses the lens to offer the correct engines