Developing Karton, the KDE Virtual Machine Manager