Fixing issue with non-termination of webterm upon window close. Removed paste-buf (in order to replace it with HTML5/flash clipboard API)