Fix bug in Relation.Binary.Morphism.Bundles usage

[jmougeot]

Update the deprecation warning to correctly reference Relation.Binary.Morphism.Bundles instead of Relation.Binary.Reasoning.Morphism.

[jamesmckinna]

As a matter of practice, we don't accept PRs on deprecated modules unless this actually gives rise to a bug...

------------------------------------------------------------------------
-- The Agda standard library
--
-- This module is DEPRECATED. Please use `Relation.Binary.Morphism`
-- instead.
------------------------------------------------------------------------

{-# OPTIONS --cubical-compatible --safe #-}

module Relation.Binary.OrderMorphism where

{-# WARNING_ON_IMPORT
"Relation.Binary.OrderMorphism was deprecated in v1.5.
Use Relation.Binary.Reasoning.Morphism instead."
#-}

What exactly is the bug here?

[JacquesCarette]

The bug is documented in issue #2712 which @jmougeot should have linked.