Issue #1296: Upgrade to latest Kendo UI

[reckart]

• docker-start.sh of the samples projects builds without tests (and should build without JavaDoc although that part doesn't seem to work)
• Deprecated mobile stylesheet in KendoUILibrarySettings since Kendo no longer provides separate mobile stylesheets
• Deleted most styles since Kendo doesn't supply them anymore. They still supply a ton of styles but they have different names and so we should create other modules for them
• Kendo has a new theme utils css. Not entirely sure it is needed, but created a new module for that which can be referenced as a dependency by the themes modules
• kendoMobileButtonGroup doesn't seem to exist anymore, but kendoButtonGroup does
• Upgraded resource reference in KendoAllResourceReference to latest Kendo version
• Updated Kendo UI Core JS
• Added icon font
• Added upgrade scripts for jquery and kendo-ui but due to the changed structure, at least the kendo-ui one doesn't work anymore as is and I didn't test the jquery-ui one yet

How to test

• Use the "docker-start.sh" in the samples project to build and deploy as a docker container. There you can test all the widgets

To do

• Update the core JS files
• Update the cultures / messages files
• Fix the Kendo UI upgrade script to so we don't have to update styles/etc. manually again next time
• Incorporate the remaining styles
• Update icon list in KendoIcon

Known to be broken

• The button example in the Kendo UI section - select button group and then click submit or ajax submit - in both cases, an NPE is generated
• The icons in the buttons of the Kendo UI button example do not work. Probably the entire KendoIcon and icon font stuff needs to be aligned with the new Kendo icon font
• ... probably more