Use install in the dist target body.

This simplifies the shell code considerably, at the expense
of removing the executable bit from scripts.