Removing doctrees from the repo, for REAL this time.