awesome: use an external repo for solarized theme