company-mode completion back-end for irony-mode