Revision 841293

Move svn-dev.el to tools/dev/, then update copyright notice and
svn-dev.el loader for all files.

[Note: see next commit.  I'd forgotten to update the license in
check-license.py, so not all copyright notices were updated in
the way they should have been.]