core: unify lua and :set option handling#1349

rnpnr wants to merge 1 commit intomartanne:mastermartanne/vis:masterfrom

rnpnr:lua_option_mergernpnr/vis:lua_option_mergeCopy head branch name to clipboard