Reorganized repository. Added IBEX2.0 in the workspace. TODO: add soplex
Added IBEX & Soplex libraries. I built Ibex2.0 dynamically. Added a "libs" folder containing the
compiled libraries (for x86_64) & jars I will use.