fixes #237. Keep in mind that you need to use the -keep-line-number option or else you won't get any line numbers (which is identical to the behavior of the old coffi frontend)
Merge branch 'develop' of github.com:Sable/soot into develop