Remove files which are no longer needed

Now that the source files live under src/, remove the remaining
source files in the top-level directory.