Support for musical sources (and prototype annotations) (#230)

* Verovio Integration
* Add full texts features
* Styles for score rendering
* Add features for measures to pagecontrol.
* Use annotation plugin.
* Add multiview parameter and hide information to have more space
* Add gridstack html and page/measure navigation to pageview template
* CSS update: score, svg hover and drag styling for gridstack item
* Hotfixes 16.10.
* Change position of gridstack item navigation
* Show gridstack if more than one document is given
* Add controlbar in multiview
* Fix multiview global navigation
* remove empty gridstack item
* Add scoretool for each gridstack item
* Add map counter on single view
* Fix dfg-viewer-map elementId
* Minor adjustments to the score.less file
* Add new icons and improve sprite integration
* Add midi player styling and its toggle functions
* Enhance zoom and player for score view
* Add custom zoom buttons if score view is active
* Styling for zoom buttons
* adjustments to midi player appearance on larger screens
* Make score icon also available to inactive state
* Aligning hover and active states for the measures
* Add styling and functions for measure navigation
* Minor LESS fix for th UI of the score button
* Add button styling and icon for sync view function
* Final UI adjustments for the new music UI
* Template remove button
* Change min width and height for gridstack items
* remove min height and width per gridstack item and add class "removeDocument"
* Improve HTML markup for the multi view
* Move Buttons to page view navigation
* Rearrange elements
* Add corresponding localized labels
* Adjust indents
* Update markup for multi view and add some icons
* Add complex styling for multiview
* Add some title attributes on multiview elements
* Some minor UI consolidation for multiview
* Add styling and JS functions for new sidebar
* Insert skeleton markup for new control bar
* Update ControlBar.html
* Improve NPM config to avoid terser crashes
* Add new meta data toggle function and appearance
* Toggle function and design for subentries (+ n more)
* Add document title via JS to the sidebar
* Add missing DD tags via JS
* Show spinner on page or measure browsing
* Apply suggestions from code review
* Codacy fix
* Apply suggestions from code review

Co-authored-by: Matthias Richter <matthias@localhost.localdomain>
Co-authored-by: Hizkiel Alemayehu <44091398+Hizkie@users.noreply.github.com>
Co-authored-by: Daniel Röwenstrunk <roewenstrunk@edirom.de>
Co-authored-by: Christopher Timm <timm@effective-webwork.de>
Co-authored-by: Sebastian Meyer <sebastian.meyer@slub-dresden.de>
Co-authored-by: Sebastian Meyer <sebastian.meyer@opencultureconsulting.com>
Co-authored-by: Thomas Jung <thomas@jung.digital>

Build/Gruntfile.js

@@ -1,5 +1,5 @@
 
-module.exports = function(grunt) {
+module.exports = function (grunt) {
     require('jit-grunt')(grunt);
 
     grunt.initConfig({
@@ -12,25 +12,26 @@ module.exports = function(grunt) {
                     optimization: 2
                 },
                 files: {
-                    "Resources/Public/Css/allStyles.css" : "Resources/Private/Less/all.less",
-                    "Resources/Public/Css/webStyles.css" : "Resources/Private/Less/website.less",
-                    "Resources/Public/Css/rte.css" : "Resources/Private/Less/rte.less",
+                    "Resources/Public/Css/allStyles.css": "Resources/Private/Less/all.less",
+                    "Resources/Public/Css/webStyles.css": "Resources/Private/Less/website.less",
+                    "Resources/Public/Css/rte.css": "Resources/Private/Less/rte.less",
                 }
             }
         },
         terser: {
+            options: {
+                compress: true,
+                mangle: true,
+            },
             development: {
-                options: {
-                    compress: false,
-                },
                 files: {
-                    "Resources/Public/JavaScript/allScripts.js" : [
+                    "Resources/Public/JavaScript/allScripts.js": [
                         'Resources/Private/JavaScript/modernizrCustom.js',
                         'Resources/Private/JavaScript/js.cookie.js',
                         'Resources/Private/JavaScript/dfgviewerSru.js',
                         'Resources/Private/JavaScript/dfgviewerScripts.js',
                     ],
-                    "Resources/Public/JavaScript/webScripts.js" : [
+                    "Resources/Public/JavaScript/webScripts.js": [
                         'Resources/Private/JavaScript/modernizrCustom.js',
                         'Resources/Public/JavaScript/Highlight/highlight.pack.js',
                         'Resources/Private/JavaScript/websiteScripts.js',
@@ -57,5 +58,5 @@ module.exports = function(grunt) {
     });
 
     grunt.file.setBase('../')
-    grunt.registerTask('default', ['less','terser','watch']);
+    grunt.registerTask('default', ['less', 'terser', 'watch']);
 };