Functor categories have filtered colimits when the target category does

These declarations cannot be in Mathlib/CategoryTheory/Limits/FunctorCategory.lean because that file shouldn't import Mathlib/CategoryTheory/Limits/Filtered.lean.

instance CategoryTheory.Limits.instHasFilteredColimitsOfSizeFunctor {C : Type u₁} [Category.{v₁, u₁} C] {K : Type u₂} [Category.{v₂, u₂} K] [HasFilteredColimitsOfSize.{w', w, v₁, u₁} C] : HasFilteredColimitsOfSize.{w', w, max u₂ v₁, max (max (max u₁ u₂) v₁) v₂} (Functor K C)

instance CategoryTheory.Limits.instHasCofilteredLimitsOfSizeFunctor {C : Type u₁} [Category.{v₁, u₁} C] {K : Type u₂} [Category.{v₂, u₂} K] [HasCofilteredLimitsOfSize.{w', w, v₁, u₁} C] : HasCofilteredLimitsOfSize.{w', w, max u₂ v₁, max (max (max u₁ u₂) v₁) v₂} (Functor K C)