Make GitHub repo more prominent by adding logo to source repository as well as star button