Better SVN push tags.

Fixes #46