cleanup: remove IPPL_MIC
Remove code compiled if IPPL_DKS_MIC
is defined.
Code indexing in gitaly is broken and leads to code not being visible to the user. We work on the issue with highest priority.
Remove code compiled if IPPL_DKS_MIC
is defined.