Add flycheck-hdevtools
Add record snippet for idris