chore(clp): Rename user-guide to user-docs and dev-guide to dev-docs, as per CLP docs PR#9

quinntaylormitchell wants to merge 1 commit intoy-scope:mainy-scope/clp-bench:mainfrom

quinntaylormitchell:docs-restructure-rename-clpbenchquinntaylormitchell/clp-bench:docs-restructure-rename-clpbenchCopy head branch name to clipboard