Switch to new 0.3.* php-by-contract version