git: Set the core.editor option, as $EDITOR doesn't always seem to work