Make --pretty-print not run the program.
Update copying and back cover text.
Merge branch 'gawk-4.1-stable'
Don't install igawk and igawk.1 anymore.