add jenkins plugins for themeing