More documentation work. Adding a general section describing extensions to std::future