file_time()
***********


FUNKTION
========

   int file_time(string filename);

Liefert den Zeitpunkt der letzten Modifikation des Files in Sekunden
seit dem 1.1.1970, 0:00. Kann per ctime() in ein lesbares Format
gebracht werden.