Moved some tools from libminc to EZminc