Removed set_path.bat and set_path.sh.

They only added confusion and served no tangible purpose anyway.