Mention FUTHARK_COMPILER_DEBUGGING in server protocol docs
Mention FUTHARK_COMPILER_DEBUGGING in server protocol docs

HIPERFIT/futhark,HIPERFIT/futhark,diku-dk/futhark,diku-dk/futhark,diku-dk/futhark,diku-dk/futhark,HIPERFIT/futhark,diku-dk/futhark