Re-organize the DEVELOPERS document

As suggested by Melissa: move the Debian-specific stuff out to a
separate step. While here mention the other packagers.