Deprecate multiple default blocks in a switch

Part of RFC: https://wiki.php.net/rfc/switch.default.multiple
For PHP 5.NEXT, not PHP 5.6.