php5-readline extension added for Laravel 4.1 Tinker(Boris)