NEW: Initial commit.
NEW: support for gaol and boost::interval
NEW: partial support for PROFIL/Bias
NEW: interval arithmetic test module
NEW: var and expr
NEW: completed interval_profil
FIX: boost and gaol initialization
NEW: Makefile to build all dependencies in 3rdparty/
NEW: Makefile to build all dependencies in 3rdparty/
Merge branch 'master' of
https://mvctrash.unfuddle.com/git/mvctrash_procure

Conflicts:
	3rdparty/Makefile
	3rdparty/patch/gaol.patch
	3rdparty/patch/realpaver-1.1.0.patch
	procure/config.h
NEW: making gaol and mathlib build on windows
NEW: making gaol and mathlib build on windows
FIX: mathlib patch
FIX: mathlib patch (still)
FIX: wrong configure option
NEW: included initial code from jorge in "old" folder
NEW: completed first working version of quadrature using taylor models
Merge remote-tracking branch 'github/master'