windows: Make printing of debugging info work out of the box.

Printing debugging info by defining MICROPY_DEBUG_VERBOSE expects
a definition of the DEBUG_printf function which is readily available
in printf.c so include that file in the build. Before this patch
one would have to manually provide such definition which is tedious.

For the msvc port disable MICROPY_USE_INTERNAL_PRINTF though: the
linker provides no (easy) way to replace printf with the custom
version as defined in printf.c.

ports/windows/Makefile

@@ -28,6 +28,7 @@ endif
 
 # source files
 SRC_C = \
+	lib/utils/printf.c \
 	ports/unix/main.c \
 	ports/unix/file.c \
 	ports/unix/input.c \

ports/windows/mpconfigport.h

@@ -121,6 +121,7 @@ extern const struct _mp_print_t mp_stderr_print;
 
 #ifdef _MSC_VER
 #define MICROPY_GCREGS_SETJMP       (1)
+#define MICROPY_USE_INTERNAL_PRINTF (0)
 #endif
 
 #define MICROPY_ENABLE_EMERGENCY_EXCEPTION_BUF   (1)

ports/windows/msvc/sources.props

@@ -6,6 +6,7 @@
     <ClCompile Include="$(PyBaseDir)ports\windows\*.c" />
     <ClCompile Include="$(PyBaseDir)ports\windows\msvc\*.c" />
     <ClCompile Include="$(PyBaseDir)lib\mp-readline\*.c" />
+    <ClCompile Include="$(PyBaseDir)lib\utils\printf.c" />
     <ClCompile Include="$(PyBaseDir)ports\unix\file.c"/>
     <ClCompile Include="$(PyBaseDir)ports\unix\gccollect.c"/>
     <ClCompile Include="$(PyBaseDir)ports\unix\input.c"/>