Delete seemingly redundant tools/poly directory (and contents).