Suggestion: use socket for stdout/stderr
Hi, Happy too see another plugin based on Intero :) I just wanted to say that if you're having trouble with the sync (or lack thereof) between stdout and stderr you could make both stdout and stderr write to the same socket (https://gitlab.com/tobiasgwaaler/intero-atom/blob/master/lib/intero.js#L38). Then you might not need the timeout/delay (https://gitlab.com/vannnns/haskero/blob/master/server/src/intero/interoProxy.ts#L93). Just a friendly suggestion though, if the delay works good enough, keep it :)