add Babelsberg scaffold to EmZ3, so it can be used as a solver
compress and upload solvers and core separately as well