Samsung is taking over the Israeli firm Boxee, a start-up which makes set-top boxes that let users stream recorded TV shows from the cloud.