Use latest "bashcomp".
Do not set face properties anymore, let the theme handle it.
Clean up `ido' configuration.
Added Mickey Petersen's `jump-to-mark', bound to "M-`".
Added library `ace-jump'.