use HEADERS instead of EXTRA_DIST to fix TAGS

Signed-off-by: Olaf Hering <olaf@aepfle.de>
Merge pull request #165 from olafhering/olh-tags-missing-headers