Implement mobile-friendly version of docs output.

Using PHP Mobile_Detect library to do the device detection:
http://code.google.com/p/php-mobile-detect/

This mainly changes how we serve the front page - otherwise mobile is
treated exactly the same as print pages.