File-based egglog interface #84
Description
The current interface to egglog uses pipes and the the standard input and output streams, which are notoriously unreliable. The egglog interface should be re-implemented to use file-based communication instead. This change should also attach sort names to identifiers before sending to egglog, to allow for multiple columns of the same name.