Fix checkout on Windows: remove directory with faulty name (' ')

Hello Sebastian,

I was unable to checkout Jnario on Windows due to the invalid directory name (' ', yes, just a single space). I renamed this ' ' directory to 'html'.

Cheers,
Boris