Moved vrapper out of SireumDev to its own Vim feature.