[PROTOTYPE] JENKINS-21092 Adaptable UI for Mobile Devices

Initial prototype implementation of adaptable UI for mobile devices (already partially working). Best result if remove "Last ..." columns of "All" view
At last, is what Google says:
http://developer.android.com/guide/webapps/best-practices.html
"To determine whether to serve a mobile version of your site, you 
should simply look for the "mobile" string in the User Agent, which 
matches a wide variety of mobile devices".

It could be complemented by OS verification, but in this case, the list 
is very large.

On Wed 02 Jul 2014 04:35:15 PM BRT, Daniel Beck wrote:
> In core/src/main/java/hudson/Functions.java:
>
> > @@ -1579,6 +1579,11 @@ public boolean hyperlinkMatchesCurrentPage(String href) throws UnsupportedEncodi
> >          return Collections.singletonList(t);
> >      }
> >
> > +    public static boolean isMobile() {
> > +        StaplerRequest staplerRequest = Stapler.getCurrentRequest();
> > +        return StringUtils.trimToEmpty(staplerRequest.getHeader("User-Agent")).toLowerCase().contains("mobile");
>
> Is determining a mobile browser really as simple as this? Does this
> consistently work?
>
> —
> Reply to this email directly or view it on GitHub
> <https://github.com/jenkinsci/jenkins/pull/1070/files#r14478539>.
>