Note, I have just published an update to this conversation, including a solution… :-)
https://aarontgrogg.com/blog/2013/12/24/follow-up-to-why-cant-i-edit-javascript-files-in-the-wordpress-theme-editor/