please give-back dolfin on mipsel

[Gustavo Alkmim]

Hi,

please, give-back dolfin on mipsel.

I've successfully built dolfin using sbuild. Dolfin was not building due to
a gcc bug, which was fixed.
See bug #788801

gb dolfin . mipsel

[0] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=788801