Downloading Z3 source using wget.
Fixed boogie and corral build. Now we are building particular versions that should work together.
Merge branch 'fix-build' into develop