Updated linenoise from upstream git, merged some of the previous changes
Update to work with CBMC after changes in r2307
Fix for new ::symex_targett::{GUARD,PHI} of r2324