final revision; added README and support files to execute mips2mif; for better reading, '.rb' extension was added to mips2mif