Add cinnamon to the gui auto-detection
Cosmetics. Add Gui13 to the contributors.