Moved make.bat to make.py

--HG--
rename : web/make.bat => web/make.py
Removing docs folder, as that looks old compared with web