Update ark to the 15.08.2 bugfix release.

Fixes drag and drop extraction in particular, which was broken for a looong time, so I think it would be nice to have in the release...