fix Content-Type of server output

I’m not sure if ‘text/plain’ is the best Content-Type for C code, but at least it’s more appropriate than ‘text/html’.