Copy esp32 bin file to other folder

Discussed in How to build or copy after build in additional directory?. A small python extra script will do the job here.