Feature/1500 linting all panels

For #1500 

- [ ] Ready to merge

TODO list
- [x] Change background color of error panel
- [x] Make the lint addon options available to the user
- [x] Lint for coffeescript with user settings
    - [x] Fix some problems with the loading of the script
- [x] Lint for javascript with user settings
- [x] Lint for css with user settings
- [x] Lint for html with user settings
- [x] Use the min versions of the scripts
- [x] Public method to send errors
- [x] Change/disable linting when switching language in the panel