TServer: include missing header file

Before, this header file was included implicitly through tinythread.hpp
which has been removed recently.