pyserver: make output unbuffered