Cleaning away old stuff

The old SVN is in the branch 'old-svn'. I'm removing everything that has
a more recent version in another git repository and stuff that is no
longer valid.