Remove stale files

Temporary files that are not used anymore only serve to clutter contents
of the project, and have been thus removed from the tree.