Add mobile format menu option

Use Google's mobile formatting service to format the current page for
this mobile device.

Change-Id: If7d1e65b39166ae7244c26c30c3c61db92229609