C++/UseOfLibReadline: Add