Filecoin and IPFS creator Juan Benet is unafraid of taking on imposing problems. Like, say, rebuilding the internet.