Video: Android wishes you a Happy Holiday, plus shows off the Nexus 7 and Nexus 10 docking station