add dump-launchd-bookmarks.py