Added tools/dev/bash_profile with developer conveniences
1 file changed