Avoid spaces in html help include path by copying the header file to the global dir
Remove debugging message
Fix hhc not found error
Restore sourceforge mirror url
Use standard sourceforge mirror for boost package