Change layout of Gundo, use a wider window for diff.