Fix static builds for 32-bits arches

The 32-bits arches were accidentally built with the native arch of the build host. Using arch-specific tags for the images fixes that.

This also strips the binaries to reduce their size.

See !70 (merged)