Revert "Guard idris company setup on the auto-completion layer"
Revert "Guard idris company setup on the auto-completion layer"

This reverts commit f2f23e6aa13bdcc37d2c27e880595a988fbd6086 following
the comment of syl20bnr in
https://github.com/syl20bnr/spacemacs/commit/f2f23e6aa13bdcc37d2c27e880595a988fbd6086

tsonntag/dotemacs,tsonntag/dotemacs,tsonntag/dotemacs,tsonntag/dotemacs