Merge branch 'fixes' into debian

We just had to be careful to not delete the `debian` directory in this
particular branch (but it is deleted in the other two).
Update the changelog.

Git-Dch: Ignore
Merge branch 'fixes' into debian
Merge branch 'fixes' into debian

Conflicts:
	debian/changelog
Merge branch 'master' into debian
Merge branch 'master' into debian
Merge branch 'master' into debian
Merge branch 'master' into debian
Add licensing information to remaining files.
Fix copyright information in accordance to license change.
Merge branch 'master' into debian
Update the changelog.

Git-Dch: Ignore
Merge branch 'fixes' into debian
Update the changelog.

Git-Dch: Ignore
Merge branch 'master' into debian
Install the manpage of the program.
Merge branch 'master' into debian
Make debian/control be in sync with the manpage synopsis.
Update copyright information to format 1.0.
Update Std-Ver to 3.9.3 with no further changes.