Update files from CMake git

Since CMake 2.8.12 was released, also change directory names to
cmake-2.8.13