添加sat_bin_python和sat_bin_verilog子项目