vim: Map <Leader><Leader> to typing :