Let us include library JS files in Widgets with <script src="...">

For creating big Client-side games in Widgets we need the option to include other scripts. Ideally we could include pure JS files that we use as libraries.

Right now we can just paste everything into one Widget and hope that the editor doesn’t crash due to the high number of lines.