Create a script to check that headers are installed.
Need to compare headers in sources and installed. Requires a list of headers which should not be installed. Depends on #441 (closed) to make things easier (it removes a whole class of such headers).
I don't know if it is possible;e to hook distcheck to do it automatically but as it is not system dependent it should be not too hard for Jenkins...