Use phpunit 4.0, and don't allow travis failures