Fixes Github #67: Missing dist files for documentation