Various Makefile improvements
Disabled abc in syn_yosys for now