Google outs Android OS 4.1 Jelly Bean, says Galaxy Nexus will be “the first phone” to get it