Little typo fix

./hello_world is not recognized on Windows.
We can type either hello_world or hello_world.exe to run the executable. I chose hello_world because that the one chosen in the first exemple, line 163. But maybe we can change both to "hello_world.exe".

Extension

Added .exe

Standardization

Standardization. Sorry for the multiple commits.