bashrc: plugin-ifying completion, history, and readline settings