Added `ido-goto-symbol' from the `prelude' and bound it to `<f12>'.