Tanken om att kolonisera Mars har eggat allt från Elon Musk till svenska moralfilosofer. Men vad skulle krävas för att slå ned bopålarna där – och är det en bra idé?