Z87 has a few extra features. Here:
http://www.ukgamingcomputers.co.uk/difference-between-z77-and-z87-a-34.html
The 4670K also has support for AVX2 instructions which are used in newer applications (or will be) but I don't know how relevant this is.
To be honest, I wouldn't say Z87 is worth fussing about. And with the overclocking thing, the 4670K reaches an average of 4.5 - 4.6GHz. The 3570K reaches 4.7 - 4.8GHz average. This means they perform at similar levels, but the 4670K is often faster (probably due to the architecture raising the instructions per cycle).
The actual performance difference in gaming won't be very noticeable if any at all. The 3570K does perfectly in games, and is more often than not, limited by the graphics card. (I am having this now. My GTX 670 can't keep up unless I OC the VRAM, but then it loses stability
🙁 )
To save money, 3570K.
To get a minor improvement, 4670K.