Add event_base_reinit

Code gleaned from https://github.com/bzick/php-libevent