freedesktop.org menu and desktop files specifications support for the awesome window manager