Startups have lately been trying to stay as lean as possible when it comes to head count. Now some are actually shrinking ...