[plugin] Use python3 with Gundo.