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.