adding mp4 files to gitignore. I don't want to upload the videos just yet