Add enlarge window to default size

Function to set size of the current window to 80 characters, unless it
already is 80 characters, in which case, set it back to its original
size. A prefix ARG can be given to set the window to a particular width.