A Boost.Asio interface to GNU readline