mips machine for Debian developers

[Christoph Martin]

Hi Flo,

you can add to the Debian mips port page, that Debian developers can
request for a login on my Indy pongo.verwaltung.uni-mainz.de.

Christoph