Migrate MIPS.sol from the docs into the specs

[sbvegan]

@benjaminion mentioned that this MIP.sol page in the docs might be better suited in the specs. The page can be cut down to the core specs parts and added. The docs could be replaced with a higher-level overview, like the one in the dev blog.