fix .gitignore
rename files
update build tools
update docs
v13.01.18a