Ignore vim swap files
Build with debug symbols, annot files and principal/strict-sequence
Add some useful warnings to OASIS and regenerate with 0.4.0
Mark record patterns that are incomplete, and prefix unused variables with an underscore
Merge pull request #1 from avsm/warning-cleanup

Warning cleanups