dependency script for PUMA 2.23 (KFDD package)
Merge pull request #1 from msoeken/puma

dependency script for PUMA 2.23 (KFDD package)
changed boost download URL to avoid missing source errors.
added new boost version 1_50_0
added packaged boost-1_51_0
added Z3-4.0 package
added Z3-4.1 package
Z3 4.x added a patch to solve linker issues with non-inlined functions
added package ninja-release to build current release-branch from git.
Add check whether needed header-files for proper boost build are installed
Create general boost setup script.
Add option to specify a source folder
Split source and build directories in separate ones.
This is realized only for Z3-4.1 until now.
boost 1.50.0 with boost-log support
Create general Z3 setup script.
Add parameter to specify the number of compiling threads in build.sh
Added -j flag to bjam for compiling with specified number of threads.
Add higher level for standard package functions.
better name for variables and fit boost for folder separation.
Add new parameters in build script and a usage function.