Use relative, local URLs for fonts. (#364)

* Use relative, local URLs for fonts.

Partially addresses issue #360.

Author: lechten

dist/codemirror.css

@@ -1,8 +1,8 @@
 @font-face {
     font-family: 'FiraCode';
-    src: url('https://viebel.github.io/klipse/fonts/FiraCode/woff2/FiraCode-Regular.woff2') format('webfont.woff2') , /* Super Modern Browsers */
-    url('https://viebel.github.io/klipse/fonts/FiraCode/woff/FiraCode-Regular.woff') format('woff'), /* Pretty Modern Browsers */
-    url('https://viebel.github.io/klipse/fonts/FiraCode/ttf/FiraCode-Regular.ttf')  format('truetype') /* Safari, Android, iOS */;
+    src: url('FiraCode/woff2/FiraCode-Regular.woff2') format('webfont.woff2') , /* Super Modern Browsers */
+    url('FiraCode/woff/FiraCode-Regular.woff') format('woff'), /* Pretty Modern Browsers */
+    url('FiraCode/ttf/FiraCode-Regular.ttf')  format('truetype') /* Safari, Android, iOS */;
 }
 
 /* BASICS */

scripts/build

@@ -13,4 +13,5 @@ cp resources/public/plugin_prod/public/cljs-out/plugin_prod-main.js resources/pu
 ./scripts/add_license resources/public/plugin_prod/js/klipse_plugin.min.js
 ./scripts/add_license resources/public/plugin/js/klipse_plugin.js
 
-cp resources/public/css/codemirror.css resources/public/plugin/js/klipse_plugin.js resources/public/plugin_prod/js/klipse_plugin.min.js dist/
+cp resources/public/plugin/js/klipse_plugin.js resources/public/plugin_prod/js/klipse_plugin.min.js dist/
+sed 's#https://viebel.github.io/klipse/fonts/##g' resources/public/css/codemirror.css > dist/codemirror.css