Improvements for demo videos

[Fernando Alva-Manchego]

• Increase the font size for both videos. Right now, the one for report is smaller than the one for evaluate. Maybe make both of them bigger?
• Make the videos run slower. It would be better if the user can visualise for a bit the command that is being run. Maybe pause after the command has been typed, or make the typing of the command part of the video (instead of copy-paste).
• Make the videos smaller. Right now, the images are big, but most of them are covered by an empty command prompt.