Added support for mouse functions: mousemask(), mouseinterval(),

getmouse(), ungetmouse(), and window.enclose().  wmouse_trafo() seems
of marginal importance at the moment.