make_log ($writecmd,$user,$filename);

 write into the file named $filename the log of the operation committed to
 the database. The sql statement is in $writecmd and the user name in $user.
 This function also add other things like date and time.