super repository for external users to install from source

[ahundt]

Hey, I've had persistent difficulties with install scripts breaking over the years, particularly when setting up completely new computers. For that reason I made a single super-repository with subtrees which outsiders can use for easy setup:

https://github.com/ahundt/jrl-umi3218

This super-repository includes:

Eigen3ToPython
SpaceVecAlg
mc_rbdyn_urdf
RBDyn
Tasks
sch-core
eigen-qld
sch-core-python

Do you think it might be useful to note this somewhere in your own projects so others outside of your group could make use of it? Should I give the repository a different name?