git: make super-prefix option