theme.conf: Added github_ribbon_color option

This makes it possible to adjust the ribbon color through a theme option