Remove -lcoqrun hackery

This closes #335.
Merge pull request #610 from JasonGross/remove-lcoqrun-hack

Remove -lcoqrun hackery