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)
Merge pull request #497 from lurch/build-32bit

New config option MICROPY_FORCE_32BIT (defaulted to 0)