fix .gitignore
rename files
update build tools
update docs
v13.01.18a
Merge branch 'master' into gh-pages
v13.01.18a