We should have a Window menu listing all the open Keyman Developer processes so that it is easy to switch between projects.