GitHub introduces Topics, a handy new feature allowing admins to explore similar project repositories