Tons of little bug fixes for the new UCI pipelining code, also abolishing
-rwxr-xr-x 21320 remoteglot.pl