vidi-player.py: check that the output file exists before creating the pipeline

[vidi-player.git] / TODO

- Get more stats from the midi file (number of channels, note range, etc.)
  The note range in particular can help when creating a VideoFont for
  a specific midi file.