drupal_add_js should be drupal_add_library

Javascript files from core should be loaded using drupal_add_library instead of drupal_add_js.

I've provided a simple patch that changes this. I don't know if this could be done in another way to improve performance.