Also push git notes with "dpt push"

This is thought to be helpful for use with Niko Tyni's
git-debcherry variant (see #784159).

Functionality still needs to be verified as soon as Niko's patch has
been applied to git-debcherry.