Javascript improvements
main.js:
-added method to render pre elements from widget xml
-added method to render textarea elements from widget xml
-better condition checking
-fades (or scrolls) out widgets if their drivers do not respond to requests for xml (such as when a driver is unloaded or if the service goes down).
-more use of jQuery, less use of document.getElement...
-asynchronous widget updating