Revert "Added unbounded problem to tests - max(sum_entries(x)) s.t. x>=0"

This reverts commit 021cb84227a2ff1c233d45eebd8943400856b58c.
Updated build process to build a shared library on Linux and OS X