PiTiVi, a free and open source video editor for Linux