Remove old, outdated build_docs/