prettifying COPYING and README.md and adjusting TODO.md and .gitignore