Cyanogen, Inc. lays of 20% of its workforce, incl. OS devs