Merge branch 'bsd3' into 'master'

test/spec2006/test_spec.sh

test/spec2017/test_spec17.sh

tools/laf/SConscript

tools/laf/SConstruct

tools/laf/laf.cpp

tools/laf/laf.hpp

tools/laf/laf_driver.cpp

tools/zax/SConscript

tools/zax/SConstruct

tools/zax/critical_edge_breaker.cpp

tools/zax/critical_edge_breaker.hpp

tools/zax/loop_count.cpp

tools/zax/loop_count.hpp

tools/zax/zax.cpp

tools/zax/zax.hpp

tools/zax/zax_base.cpp

tools/zax/zax_base.hpp

tools/zax/zax_driver.cpp

tools/zax/zuntracer.cpp

tools/zax/zuntracer.hpp