i don't know of any, but best thing i'd say to at least make it easier is create an array with all the fonts and then run a loop to spit out the options
fontsarray = new Array('times', 'blah', 'blah');
x = 0;
while ( x <= fontsarray.length )
document.write('<option>' + fontsarray[x] + '</option>');
if you can find some simple list of fonts online you can copy it into notepad or whathaveyou and run a 'replace all' on the list symbol to replace it with ', and then fill in the rest of the ' chars. And there's your array.