Delete dox files

Dox files in doc directory are no longer needed as we have an extensive tutorial coming up soon.
Also, a test was not deleting a file.