Support for boost::thread and use of boost::async instead of std::async (develop)

Main author: Marcel Luethi