Add <stdexcept> include
Add <stdexcept> include

This file fails to build on my machine with gcc 4.9.  This change gets the build to go through.
sambayless/monosat,sambayless/monosat,sambayless/monosat,sambayless/monosat