Cannot print fancier characters with Node.js on Windows in VSCode

[jiribenes]

On the JS backend, on Windows, in the VSCode terminal (Powershell):

println("🚩")

gets printed as ?:

However, echo "🚩" in the very same shell just works.

---

Needs more investigating by someone with an access to a Windows machine to narrow down the problem.

[mattisboeckle]

A few observations:

• Unicode is only implemented starting with (I think) Powershell 7
• Running the generated js manually with node prints the correct result
• When effekt is run through java the output breaks

[marvinborner]

That are interesting observations!

Does the solution proposed in #734 work for both cases? If yes, we should add it to the documentation (or fix something in the way we call the node process?)