proj: rename doc/, fix .gitignore