minor changes to language bindings
Fix minor bug in full_model_check.cpp
configure fix for building with glpk on redhat, perhaps others
Don't allow --stats if not a statistics-enabled build
fix arithmetic error reporting on use of (nonlinear) div,mod,/ symbols