Add some overlooked files to the EXTRA_DIST lines so they get bundled into
a release.
Authored by: sms00 2006-11-08
Parent: [r3134]
Child: [r3136]
