Separate draw tools sync plugin

Before this, the code was in the draw tools plugin.
But it's better this way, so that one can just install the
normal draw tools plugin.