Added a stub for github badges (will use github api)