New config option MICROPY_FORCE_32BIT (defaulted to 0)

Makes it easier for 64-bit unix hosts to build 32-bit unix
binaries (for testing)