Type4py for Large Datasets

[LangFeng0912]

Overall: Scripts for processing large datasets have been added.
The adding and updating parts include:
in the "main.py": add new CLI command: "learn_split", "gen_cluster", "infer_projects"
in the "vectorize.py": update the generating datapoints function in batches
add "learn_split.py" for training the model separately
add "gen_cluster.py" for generating clusters based on the model separately
also add new functions for dataset_loading in "data_loadeds.py"

[mir-am]

Thanks for the PR.
Also, create a new module called predict_split to load type clusters generated from gen_cluster. The output should be a JSON file that can be processed by eval.

[mir-am]

Thanks for the new changes. Please address my new comments.

[mir-am]

Please address the minor comments in the review. Thanks!

[mir-am]

Thanks for addressing the comments.