Remove documentation/.git from distro dir.
This makes the distro about 12 MiB smaller.