[BUG #7032] adding source-server job to Hello World introduction
[BUG #7179] add an 'sdk-server' job to start mini web server in SDK root
[BUG #7179] mute server log messages for missing favicon.ico file
[BUG #1097] add section Multi-theme Applications
[BUG #7179] minor fixes