Nintendo may never bring an official Mario Maker to mobile. Until they do, this fan engine is the next best thing—and with version 4.0.0, it’s better than ever.