modsys: Add optional support for sys.platform.

Ports which wants to have it, should define MICROPY_PY_SYS_PLATFORM to a
string value they need.