Rename cmake.html and cmakelists.html

Rename cmake.html and cmakelists.html to cmake_dealii.html and cmake_user.html

diff --git a/doc/users/cmake.html b/doc/users/cmake_dealii.html
similarity index 100%
rename from doc/users/cmake.html
rename to doc/users/cmake_dealii.html

diff --git a/doc/users/cmakelists.html b/doc/users/cmake_user.html
similarity index 100%
rename from doc/users/cmakelists.html
rename to doc/users/cmake_user.html