Today’s top tech news: IBM quietly lays off thousands; SpaceX targets Mars mission in two years; India probes Netflix