Use require.js for dependencies

[master-lincoln]

Currently every HTML file has to load all js files of the application. This repeated code could be avoided using a proper dependency management. Require.js has become the quasi standard for this task under javascript.