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