Clear readline history before loading it.
Clear readline history before loading it.

Otherwise, things get all sorts of crazy.

Fixes #28

Problem: PHP 5.5.7 segfaults when clearing readline history. So basically you can choose between an exponentially expanding readline history and a version of PHP that actually runs. Hopefully this gets sorted soon :(
adetch/psysh,adetch/psysh,lvht/psysh,mubassirhayat/psysh,damiankloip/psysh,damiankloip/psysh,lvht/psysh,bobthecow/psysh,barryvdh/psysh,barryvdh/psysh,damiankloip/psysh,bobthecow/psysh,mubassirhayat/psysh