removed readline import and usage#221

Akshara1817 wants to merge 2 commits intoesbmc:masteresbmc/esbmc-ai:masterfrom

Akshara1817:readline_importAkshara1817/esbmc-ai:readline_importCopy head branch name to clipboard