add flycheck-pos-tip extension