remove jQuery.browser.mobile plugin file

Mobile device checking is done by css media query.
jQuery.browser.mobile plugin is not needed any more.

Author: fediev

garden.jade

@@ -88,11 +88,9 @@ html(lang=language)
 
     - if (language === baseLanguage)
       script(src='javascript/prettify.js')
-      script(src='javascript/plugin.js')
       script(src='javascript/garden.js')
 
     - else
       script(src='../javascript/prettify.js')
-      script(src='../javascript/plugin.js')
       script(src='../javascript/garden.js')