Online learning‐based model predictive control with Gaussian process models and stability guarantees. (9th January 2021)