tiny update
Use hi-res icon in gnome
Merge branch 'antono' of github.com:antono/prelude into antono

Conflicts:
	personal/antono.ui.el