Add ia32_emitf() to concisely output ia32 instructions.