Tomb Raider developer Crystal Dynamics has announced a number of layoffs, calling it a "difficult decision".