Added support for cores outside of riscv-formal repository by adding …
8071235
…--basedir arg to genchecks.py.
