add bootstrap-switch for is_highlight

app/assets/javascripts/application.js

@@ -34,6 +34,7 @@
 //= require osem-datepickers
 //= require osem-datatables
 //= require osem-tickets
+//= require bootstrap-switch
 
 $(document).ready(function() {
     $('a[disabled=disabled]').click(function(event){

app/assets/stylesheets/application.css

@@ -13,4 +13,5 @@
  *= require bootstrap-markdown.min
  *= require bootstrap-datetimepicker
  *= require leaflet
+ *= require bootstrap3-switch
 */