Scripts

- Hacky script to run `git subtree push`
- Enhance consistency test to check if badge in each subdirectory is set correctly
- add badge to master README

See #4.