packages feed

git-annex-5.20150812: doc/devblog/day_309__proxy.mdwn

Ended up sending most of today working on `git annex proxy`. It had a lot
of buggy edge cases, which are all cleaned up now.

Spent another couple hours catching up on recent traffic and fixing a
couple other misc bugs.