RBPServer: use Boost.Asio for networking