dtgreene: There exists a fangame for the PC called Mega Man Maker; it's similar to Mario Maker, but based off Mega Man rather than Mario.
VVVVVV comes with a level editor. In fact, the developer has released a free version called the "Make and Play edition" that includes the level editor and the ability to play player levels, but lacks the ability to play the main game. There is a Linux version of this game, both the "Make & Play edition" and the full game.
While not platformers, both Unlimited Adventures (from Forgotten Realms Collection 2) and Neverwinter Nights (1 & 2) contain tools to design your own adventures.
Edit: It appears that Mega Maker changed its name to Mega Man Maker.
Mega maker looks awesome. He'll love it. Thanks!
Also, I own vvvvvv. I had no idea it had a level maker. I'll check it out. We are just messing around with vvvvvv last weekend as we talked about different physics in platformers can completely change a game.