Removed stale and unused bpl prelude file.
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
Merge branch 'develop' into svcomp2015