DoxLauncher is now a module, in preparation of packaging.