Switch to php-by-contract version 0.5-beta