Minor explanatory comments about how to install wrt ArvindsTools