Fixed #818: Add future::then() overload taking an executor