update cbmc to latest release and remove a few stale files