Google Docs gets an Android app, we go hands-on with tiny spreadsheets (video)