add Babelsberg scaffold to EmZ3, so it can be used as a solver
compress and upload solvers and core separately as well
add missing file
only add layers in lively
add inequalities to relaxation solver
only upload minified files for non-PR builds on master
make zombietests throw errors when tests fail
add all solvers to the fabric example, so we can play with them
Merge branch 'master' into gh-pages