Convert slashes in main()'s argument to unix-style ones, else nothing runs
Fix floating point formatting

- default output format has 3 digits for the exponent, Python wants 2
- provide a platform specific function MICROPY_INIT_FUNC to allow
  setting such behaviour once at the start of the program
- MS snprintf implementation does not know %F so use %f instead