devscript: add list_installed_launchjob_ids