A TCP server wrapper for the Agda interpreter