Add annotations to System.Convert

[NN---]

For instance Convert.ToString(string) doesn't do anything and can be annotated as:

[ContractAnnotation("s: notnull => notnull; s: null => null")]
public static string ToString(string s);  // { return s; }

Similar to other methods of Convert.