[Cin] digging in archives

"Added cinelerra tool that helps to customize theme." from year 2014.. https://github.com/cinelerra-cv-team/cincv-exp-akirad-paolo/commit/f9f821c25... i do not think we have this, do we? also, there might be some svg plugin imprivements in this branch - realtime editing, dpi settings...