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 :(