Add support for :apropos from Idris compiler

The necessary PR in Idris has been merged.