makedist.sh: Include the external/ subdirectory in the distribution.