koka.cabal: fixed and tested building on Windows

cabal-install can now be used to easiliy build and install koka
on Windows. The only necessary prerequisite is the haskell-platform.
No MinGW is needed.

On Windows cabal will set the __WIN32__ macro and thus enable
linking against the handwoven Windows-console-interface which is
distributed as C code in src_c.