Reference videos by name instead of ID.

Video URL-s are now much friendlier.

When video only has an ID, turn the ID into a name (for backwards
compatibility).

Additionally I built a duplicate name checking into the processor
of videos.json, which right away discovered two duplicate videos :)