renaming doc/, editing .gitignore etc