In this video, All Time 10s shares "ten little-known facts about the Super Mario Bros. video game series," like how Mario was originally known as Jumpman