Google buys military robot-maker http://www.bbc.co.uk/news/technology-25395989