Rename pvs -> pvs-full (etc), so we can add simple pvs (etc) commands.