GitHub stars

Fixes #336
Remove dead code from github license badge
Put GitHub stars and forks in miscellaneous

cf. #336