ここ半年くらいの非互換〈破壊的〉変更

1. lean_packages/ が lake-packages/ になった。
2. lean_packages/manifest.json が lean-manifest.json になった。
3. 属性 @[defaultTarget ...] が @[default_target ...] になった。
4. lean-toolchain がなくてもよかったが、ほぼ必須になった。ない場合はたぶんデフォルト。