updated DbcClassLoader

Updated DbcCLassLoader to work with latest php-by-contract version. Added latest pbc version to composer requirements.