Merge pull request #1801 from hannes-steffenhagen-diffblue/add-idea-gitignore

Add .idea (CLion) directory to .gitignore

Author: hannes-steffenhagen-diffblue

.gitignore

@@ -10,6 +10,7 @@ src/goto-analyzer/taint_driver_scripts/.idea/*
 /*.creator
 /*.creator.user
 /*.files
+/*.idea
 /*.includes
 # Eclipse
 src/.cproject