Superproject for managing all PhET git repositories using git subtree