Add temporary files management

tmpfiles.py: define classes TmpInput and TmpOutput

locally: a command for executing arbitrary commands using temporary
input and output