use stxxl as external data store instead of hand-rolled code in /tmp
clear external vector after use, closes #1131