Add L3 source for RISC-V model

This is a early version of the specification that is available at https://github.com/SRI-CSL/l3riscv