Build isl++ as header-only library

This generates a set of c++ headers that get distributed alongside isl.
These headers can be used as smart wrappers around isl objects that
perform automatic memory management for the pointers aquired from isl.