prep for 20130729 release, add a handy "zip" target