Implemented more precise generation of sourceloc debug info for Corral. In particular, we have to drop debug info attached to llvm.dbg function invocations since those point to variable declaration locations and such.
Merge branch 'develop' of https://github.com/smackers/smack into develop