Dining philosophers README