Rename vidi-player.py to vidi-timeline.py

The name vidi-timeline.py reflect better what the program actually does:
generate GES timelines.

This also frees the spot for a possible future vidi-player program,
based on GStreamer, which plays midi files live without having to
generate the GES pipeline beforehand.

vidi-player.py: add an option to add a background layer with the "rest" sample

Adding a background representing rests looks a lot better than having
a black screen flashing in and out.

vidi/Timeline.py: add support for adding clips on their own layers

This can be used for instance to add a "background" clip, in case of
a midi file with intervals of silence, the background clip could be the
videofont sample representing a rest.

vidi-player.py: fix a regression introduced in commit d2933a9ba8a8

In commit d2933a9ba8a8 (vidi-player.py: move the actual processing after
the arguments validation) there was a spurious change which broke
calling check_overlapping_notes(). Fix it.

TODO: add an entry about audio fade-in and fade-out

vidi/Player.py: use per message callbacks

create_test_videofont.py: generate a "rest" sample with silence in it

vidi-player.py: use a fixed width when printing the note names

This improves alignment in the output and makes it slightly more
readable.

create_test_videofont.py: make the pipelines more configurable

While at it also calculate the proper number of video buffers, this
produces more robust samples in which both the audio and the video
streams have the same length in seconds.

Use webm for the videofont, it has  better support than shroedinger

vidi-player.py: move the actual processing after the arguments validation

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

vidi-player.py: add missing newlines in error messages

vidi/Player.py: move the stop() method after the play() method

For consistency with the Timeline class.

Handle KeyboardInterrupt in the main program, not in the Player class

vidi/Timeline.py: add a stop() method

vidi/Timeline.py: move pipeline player initialization to the __init__ method

vidi/Player.py: rename the quit() method to stop()

vidi/Player.py: move the signal callback initialization to the __init__ method

create_test_videofont.py: use FONT_DESC in LIVE_PIPELINE_TEMPLATE too

create_test_videofont.py: set the sample length in seconds

The duration of a sample in a video font should be at least as long as
the longest corresponding note in the midi file.

Fix converting paths to URIs

In particular this fixes adding clips with a filename which has to be
quoted when becoming part of a URI, like sample_F#5.mkv

README.md: mention some examples of videos that could be made

Initial import