Notification support and config/ws refactoring

- Basic support for desktop notifications
- Basic settings page to enable desktop notifications
- Feature toggling: just remove JENKINS_URL from dev.sh and jenkins is disabled
- Refactored web-socket-client
- Refactored config.js
- Fixed JSHint issues from earlier commits