Fixes for bf.bat
Add paragraph about profiling to the command line tools documentation page