Adds theme management to Jenkins, at a global or user level - View it on GitHub