Make basedir overridable, add incdir optional harg#46

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

slan:masterslan/riscv-formal:masterCopy head branch name to clipboard