Add a AfterBuild target for copying files

z3.dll and libz3.dylib are copied to output folders.