Revert "Remove push option in .gitconfig."

I'd rather use git from wheezy-backports. I force-pushed the master branch at
work because I lose the habit of specifying what branch to push...

This reverts commit ddbe653d9feb4b350d917bf4a8aa71de3cbb1713.
My eyes are not that bad.
Forget what I said, my eyes _are_ that bad.
Oneline dlv and djv, and remove two useless calls to compact.
Bump submodules.
Add 'git upcoming' and sort rules.

This alias is a way to quicly know what's new in a repository
after updating it.
Add autojump as a submodule.