Detect mobile browsers with JavaScript on client side.

Instead of using the server-side PHP script, the browser detection
is done one the client side with a compact JavaScript snippet taken
from http://detectmobilebrowsers.com/

This allows the index page of the docs to be cached, lowering the
burden on servers.