Differential function spectra, the differential Becker-Gottlieb transfer, and applications to differential algebraic 𝐾-theory