Refactor pitivi.sourcelist so that it removes the (broken) mapping methods and
emits saner signals (source-added, source-removed rather than file_added and
file_removed).
Also tweak missing-plugin handling in discoverer so that we can rediscover a
source more quickly after installing missing plugins.