Support HHVM and remove PHP 5.3. Close #3