Removed unnecessary files post-merge

- Using global .gitattributes and .gitignore to cover all modules
- Removed duplicate LICENSE files
- Removed copyright notice from README.md files - global one covers
  all modules now.
[POPL Seg1] Fix mode of 3-caring
Merge branch 'master' of github.com:jcowgill/cs-work