Add Options > Advanced > User colors panel, allowing user to set various UI colors

![capture du 2013-07-04 22 14 03](https://f.cloud.github.com/assets/151042/751039/5bc07c1c-e4e6-11e2-9b34-3a5f2e0b8010.png)