Add description of what ProGuard actually is