Use phpunit 3.7.31 as dependency instead of 4.0.*, as the builds take forever