increase supported instructions
change encoding of elim.ml
convert the encoding

euc-jp -> utf-8