Delete spm_results.pdf (not up to date)

Delete files which need to be re-computed as spm_results.provn has been updated.