[Mips] Support -mmicromips / -mno-micromips command line options.