bashrc: pick best editor from set of installed editors