Add .idea (CLion) directory to .gitignore#1801

hannes-steffenhagen-diffblue merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

hannes-steffenhagen-diffblue:add-idea-gitignorehannes-steffenhagen-diffblue/cbmc:add-idea-gitignoreCopy head branch name to clipboard