proj: updating gitignore, rename doc/