simplify debian/watch
Better changelog
Merge branch 'master' into debian
Merge remote-tracking branch 'barak/master' into debian
Release 0.7.5.4