Add @property doc for magic properties of the File class.

Just a little improvement for developers.