Travis did it!
He must be using devcommands (and possibly some mods to make it). There is even workbench below. You can tell by the ground below that it is not automatically generated but human made. Dont be surprised if you run into other "unusual" things.
Btw, is that dedicated server you play on or you connect to his local world?