SpaceX's blockbuster IPO filing included some out-of-this-world details, including a provision that founder Elon Musk's massive bonus only kicks in if one million humans settle on Mars.