added program option to control number of threads in gurobi backend
Merge pull request #1 from unidesigner/master

bugfix: devision by zero in logging when too few slices were extracted
updated gui
made FindGurobi find the right library file
removed boost timer dependency
updated dependencies in README
Added problemdump.cpp
Added Segments functions
Added missing features link
not log writing out every slice
ground truth optional
Restructure HDF5 reader. Added ROI option
origin and target section index
Added reverse mapping to ProblemConfiguration
Write out constraints
Imageprocessing commit
Write out costs seperately
Do not use the objective for the problem dump