Update GhcImportedFrom key bindings for Visual mode functions.
More bits to build the latest Idris from source.