[pkgdb] cbmc ownership changed

[Fedora PackageDB]

Package cbmc in Fedora devel was orphaned by shakthimaan

To make changes to this package see:
  https://admin.fedoraproject.org/pkgdb/acls/name/cbmc