Production of software demonstration videos