Renamed "controller.js" to "document_controller.js".

Accordingly, Controller -> DocumentController.
Minor change.