Merge branch 'master' into xaig

diff --cc Makefile
Simple merge

diff --cc frontends/aiger/aigerparse.h
Simple merge

diff --cc kernel/rtlil.h
Simple merge

diff --cc techlibs/ice40/synth_ice40.cc
Simple merge

diff --cc tests/tools/autotest.sh
Simple merge