A good clipboard tool for paper copying and pasting