Distribution improvements

This ensures that "make dist" will bundle all the necessary files into the tarball for easy distribution.