debug_message() - logs a debug message

void debug_message(string msg);

Prints  the  given message on the <stderr> file desciptor of the driver
and appends it to the debug log.