Merge pull request #32 from riscv/insn-list