Add flycheck-pos-tip and configure flycheck
Temporarily remove lambdabot stuff from ghci config..