Moved minibuffer methods into Minibuffer trait.

This makes it less cluttery to add more convenience methods, and avoids
combinatorics when we add a status bar variant of the minibuffer.
Added Minibuffer.readOpt helper method.