Pushed some patches on the master branch

I have started pushing some patches on the master branch at GitHub. These patches improve the support for MacOSX, install icons and menu entries for all Unix-like operating systems, improve the status icon in the notification area, improve the logger and fix various small bugs.