Build with debug symbols and annotation/.cmt files
Merge pull request #5 from avsm/oasis-tags

Build with debug symbols and annotation/.cmt files