Add 32 bit Solarus 1.3.1.
Compiled using pbuilder on 64 bit machine.
@Christopho, all debian updates are ready for main distribution.