void goto_previous_char();
Decrements the current position if it is not the beginning of file position, else does nothing.