Deleted these

These were just internal test files. There is nothing secret in them,
but they don't need to be in the repository either.