Merge "envsetup.sh : add help text for sepgrep and mangrep commands"