added information on debugging builds

CMakeLists.txt

@@ -39,7 +39,7 @@ add_subdirectory("cmake/modules")
 finalize_dune_project(GENERATE_CONFIG_H_CMAKE)
 
 if(NOT CMAKE_BUILD_TYPE)
-	message(STATUS "Build Type: Default")
+	message(STATUS "Build Type: None")
 else()
 	message(STATUS "Build Type: ${CMAKE_BUILD_TYPE}")
 endif()
\ No newline at end of file

README.md

@@ -177,6 +177,19 @@ List all available commands and find further help by executing
 ## Troubleshooting
 In case you encounter errors or strange behavior, you should first take a look at the [List of Known Bugs](http://shangrila.iup.uni-heidelberg.de:30000/dorie/dorie/issues?assignee_id=&author_id=&label_name=bug&milestone_id=&scope=all&sort=created_desc&state=opened). For problems related to the installation, refer to the sections below.
 
+### Debugging
+DORiE supports debugging builds via CMake. Navigate to the build directory (`dorie/build-cmake`) and delete all its contents. Then execute
+
+    cmake -D CMAKE_BUILD_TYPE=Debug .. && make all
+
+to reconfigure DORiE into a debugging build. This builds DORiE without optimization and inlcudes debugging flags. After building, a debugger can hook into the executables.
+
+**Notice:** If no `CMAKE_BUILD_TYPE` is specified during re-configuration, the last configuration build type is used. If no CMake files exist, it defaults to `None`. You will find the actual value displayed in the final output of CMake.
+
+To re-create a default build, configure DORiE with the default build type (`None`) by executing
+
+    cmake -D CMAKE_BUILD_TYPE=None .. && make all
+
 ### DORiE is running, but I suspect that something is wrong
 You can execute system tests in order to ensure that DORiE is running correctly and producing the expected results. Navigate to the build directory (`dorie/build-cmake`) end execute