one-way file sync in python, to be packaged as an executable if needed