add missing manifest
Merge pull request #1 from sbertrang/make-dist-possible

add missing manifest (thanks Simon Bertrang)