Merge equivalent instance declarations for functions in Lp.Functional_Spaces and HOL-Library.Function_Algebras.

Because of the distinct but equivalent instance declarations in the mentioned theories, it was not possible to import both libraries at the same time.
This commit fixes the problem.