genxml: add generated headers to EXTRA_DIST