Integral Mixabilty: a Tool for Efficient Online Aggregation of Functional and Probabilistic Forecasts