commandOK. Spotlight-like command generator for your terminal. Pops up when you need it, gets out of the way when you don't.