Use CMake export() command and install the resulting file

[eyalroz]

We seem to be skipping part of the "protocol" for CMake-based installs, which is using an export() command and installing the file it generates.