Double Fine lays off about a third of its staff.