Brought back the dist hook with an improvement. To get around the reconfiguring

Brought back the dist hook with an improvement. To get around the reconfiguring
of a freshly configured dist that is caused by changing the modified time of
configure and configure.in, we can use "cp -p" "touch -r" to reset the
timestamp of the modified files. Note that "make dist" is a maintainer activity
so these don't need to be portable.

git-svn-id: http://svn.complang.org/ragel/trunk@800 052ea7fc-9027-0410-9066-f65837a77df0