launch_editor(): Heed GIT_EDITOR and core.editor settings