If Linus Torvalds got paid based on his impact on the world he might just be the world's richest man