I've been trying to find a good library for manipulating video, for example, gluing clips together, addings captions, transitions between clips etc. So far I have no been able to find anything promising. If it runs on linux thats a plus, does not have to be free. To be clear, im looking for some form of api/library, not a video editing tool.