General theory of integration in function spaces, including Wiener and Feynman integration