Turn the "Music" section of the credits into only the people on Krew who contributes music

Meant to do this in song-credits, since individual songs are now properly credited there.

src/f_finale.c

@@ -479,40 +479,10 @@ static const char *credits[] = {
 	"\"VAdaPEGA\"",
 	"\"VelocitOni\"",
 	"",
-	"\1Music", // Can't list song names here, so we're listing artists
+	"\1Music",
-	"\"Arrow\"",
-	"Jonny Atma",
-	"Moot Booxle", // Booxlé, add the accent char later?
-	"Malcolm Brown",
-	"Karl Brueggemann",
 	"\"DrTapeworm\"",
-	"\"Elwood\"",
 	"Wesley \"Charyb\" Gillebaard",
-	"\"gxf4c3\"",
 	"James \"SeventhSentinel\" Hall",
-	"Chris Holland",
-	"Johnny \"J\"",
-	"Masato Kouda",
-	"Fumie Kumatani",
-	"Luke Kwing",
-	"James Landino",
-	"\"Lange\"",
-	"Takenobu Mitsuyoshi",
-	"\"Nib Roc\"",
-	"Tomoya Ohtani",
-	"Vincent Rubinetti",
-	"Jun Senoue",
-	"\"SSNTails\"",
-	"Michael \"MaxieDaMan\" Staple",
-	"Simon Stalenhag", // Stålenhag, add the accent char later?
-	"\"Synthescissor\"",
-	"Yuko Takehara",
-	"Tony Thai",
-	"\"The8BitDrummer\"",
-	"Kenichi Tokoi",
-	"\"Tokyo Active NEETs\"",
-	"\"xaki\"",
-	"Michiru Yamane",
 	"",
 	"\1Lead Level Design",
 	"\"Blitz-T\"",