Import WordPress 3.5.1 as submodule.