Add Flycheck support
Add Flycheck support

This allows real-time highlighting of type errors in editor buffers

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script