polyhedral: attach buffer size to statements
CMake: build and link to isl-cpp static lib
polyhedral: compute buffer sizes, use isl-cpp
polyhedral: use isl-cpp throughout