Update to use Boris Tinker

added php5-readline