Added support for cores outside of riscv-formal repository#11

stevehoover wants to merge 1 commit intoSymbioticEDA:masterSymbioticEDA/riscv-formal:masterfrom

stevehoover:masterstevehoover/riscv-formal:masterCopy head branch name to clipboard