Deprecate Plugin#version.

AFAIK Plugin#version is not used anywhere.