Added patch by file function to File.class.php

It is now possible to patch files with a unified diff patch file
format.