index: update developer activity repo names

This reflects the -official/-staging restructuring.

See https://emu.freenetproject.org/pipermail/devl/2014-July/037728.html