Check the size of the created Windows executables

The executable files we built for the Windows release seem to be quite huge. Maybe the used build flags are incorrect and the binaries still contain debug information, which we should strip.