Adjusted names.
Fixed Win32 'platform build'.
Use plain ASCII chars for lines on Win32 console CTK.
Merge pull request #121 from oliverschmidt/master

Several minor adjustments.
There's no point in ctk_restore() for standalone GUI builds.
Merge pull request #122 from oliverschmidt/master

There's no point in ctk_restore() for standalone GUI builds.
Merge branch 'master' of git://github.com/contiki-os/contiki into experiments