A script to combine source and tool repositories to a project development environment just with a branch of proj.git  (`proj/proj clone`; `proj/proj pull`; `proj/proj fetch`; `proj/proj help`)