Debian

Hi Barak
This should almost be the next 0.7.5.4 release, you can merge the official release (as soon as it will be out) and merge this pull request later.

Only few differences, updated changelog, added install CHANGELOG file and so on.

feel free to discard this pull request!